Module Term_based.Assert_false
module Make
(Terms : Terms.Sig.TERMS) :
Term_based_sig.Domain_S with module Terms = TermsTerm_based.Assert_false
module Make
(Terms : Terms.Sig.TERMS) :
Term_based_sig.Domain_S with module Terms = Terms