Type_custom.Specs
val copy_with : (Type_base.t -> Type_base.t) -> content -> content
val occur_check : (Type_base.t -> unit) -> content -> unit
val filter_vars :
(Type_base.var list -> Type_base.t -> Type_base.var list) ->
Type_base.var list ->
content ->
Type_base.var list
val repr :
(Type_base.var list -> Type_base.t -> Repr.t) ->
Type_base.var list ->
content ->
Repr.t
val subtype :
(Type_base.t -> Type_base.t -> unit) ->
content ->
content ->
unit
val sup :
(Type_base.t -> Type_base.t -> Type_base.t) ->
content ->
content ->
content
val to_string : content -> string