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