Term_custom.Make
module S : Specs
type content = S.content
val to_custom : content -> t
val of_custom : t -> content
val is_custom : t -> bool