Const (dolmen-extension-abs-real.Abs

val mk' : 
  ?pos:??? ->
  ?name:??? ->
  ?builtin:??? ->
  ?tags:??? ->
  string ->
  Ty.Var.t list ->
  Ty.t list ->
  Ty.t ->
  Ty.t Dolmen.Std.Expr.Id.t

module Real : sig ... end