Previous  Up  Next

Module Term.LiteralTable (.ml)


module LiteralTable: Hashtbl.S  with type key = literal
a specialized Hashtbl with literals as keys.