MkCustom.T
type content = unit
val handler : content -> Type_base.custom_handler
val to_content : Type_base.custom -> content