Up  Next

Module Term.TermTable (.ml)


module TermTable: Hashtbl.S  with type key = term
a specialized Hashtbl with terms as keys.