Previous  Up  

Module Term.LiteralTypeTable (.ml)


module LiteralTypeTable: Hashtbl.S  with type key = literal
a specialized Hashtbl with literal types as keys, that is not the concrete literal but it's sign and predicate symbol.