Const (dolmen-extension-abs-real.Abs

val mk' : 
  ?pos:Dolmen_std.Pretty.pos ->
  ?name:string ->
  ?builtin:
    < ty : Dolmen_std__Expr.ty
      ; ty_var : Dolmen_std__Expr.type_ Dolmen_std__Expr.id
      ; ty_cst : Dolmen_std__Expr.type_fun Dolmen_std__Expr.id
      ; term : Dolmen_std__Expr.term
      ; term_var : Dolmen_std__Expr.ty Dolmen_std__Expr.id
      ; term_cst : Dolmen_std__Expr.ty Dolmen_std__Expr.id >
      Dolmen_std.Builtin.t ->
  ?tags:Dolmen_std.Tag.map ->
  string ->
  Ty.Var.t list ->
  Ty.t list ->
  Ty.t ->
  Ty.t Dolmen.Std.Expr.Id.t

module Real : sig ... end