Abs_real (dolmen-extension-abs-real.Abs

module Type = Dolmen_loop.Typer.T

module Ty = Dolmen.Std.Expr.Ty

module Term = Dolmen.Std.Expr.Term

module Builtin = Dolmen.Std.Builtin

module Base = Dolmen_type.Base

type Builtin.t +=

module Const : sig ... end

val typing_ext : Dolmen_loop.Typer.Ext.t

module B = Dolmen.Std.Builtin

module Fun = Dolmen_model.Fun

val real : Dolmen_model.Real.t -> Dolmen_model.Value.t

val of_real : Dolmen_model.Value.t -> Q.t

val abs_real : cst:Fun.E.Term.Const.t -> Dolmen_model.Value.t option

val builtins : 
  eval:'a ->
  'b ->
  Dolmen.Std.Expr.Term.Const.t ->
  Dolmen_model.Value.t option

val model_ext : Dolmen_model.Ext.t