sig
type pattern = Term.term
val matching_subs : Match.pattern -> Term.term -> Subs.subs
val matches : Match.pattern -> Term.term -> bool
val matches_opt : Match.pattern -> Term.term -> Subs.subs option
val insert_gt : Term.term -> Term.term -> bool
end