Type_custom.Specsval copy_with : (Type_base.t -> Type_base.t) -> content -> contentval occur_check : (Type_base.t -> unit) -> content -> unitval filter_vars :
(Type_base.var list -> Type_base.t -> Type_base.var list) ->
Type_base.var list ->
content ->
Type_base.var listval repr :
(Type_base.var list -> Type_base.t -> Repr.t) ->
Type_base.var list ->
content ->
Repr.tval subtype :
(Type_base.t -> Type_base.t -> unit) ->
content ->
content ->
unitval sup :
(Type_base.t -> Type_base.t -> Type_base.t) ->
content ->
content ->
contentval to_string : content -> string