module Match:sig..end
typepattern =Term.term
val matching_subs : pattern -> Term.term -> Subs.subsval matches : pattern -> Term.term -> boolval matches_opt : pattern -> Term.term -> Subs.subs optionval insert_gt : Term.term -> Term.term -> bool