Module Match


module Match: sig .. end

Matching for completion



type pattern = Term.term 
val matching_subs : pattern -> Term.term -> Subs.subs
Return matching substitution or raise Failure
val matches : pattern -> Term.term -> bool
val matches_opt : pattern -> Term.term -> Subs.subs option
val insert_gt : Term.term -> Term.term -> bool
Insertion ordering: t > u if t contains an instance of u