Term_base.MkCustommodule T : sig ... endval descr : Type.descrval t : Type.tinclude sig ... endtype content = Def.contentval to_custom : content -> Runtime_term.custom_termval of_custom : Runtime_term.custom_term -> contentval is_custom : Runtime_term.custom_term -> boolval of_term : [> `Custom of Runtime_term.custom_term ] term -> contentval to_term : content -> [> `Custom of Runtime_term.custom_term ] term