• Andrei Paskevich's avatar
    Hashcons: create unique objects · 367307fe
    Andrei Paskevich authored
    this may be useful if we want to have in an h-consed type
    objects that cannot be equal to no other existing or future
    value of that type (thus, this objects cannot be reconstructed).
    This is more efficient than making comparison return false on
    these objects, since we don't need to store them in a week set
    at all.
    367307fe
Name
Last commit
Last update
..
bigInt.ml Loading commit data...
bigInt.mli Loading commit data...
cmdline.ml Loading commit data...
cmdline.mli Loading commit data...
debug.ml Loading commit data...
debug.mli Loading commit data...
exn_printer.ml Loading commit data...
exn_printer.mli Loading commit data...
exthtbl.ml Loading commit data...
exthtbl.mli Loading commit data...
extmap.ml Loading commit data...
extmap.mli Loading commit data...
extset.ml Loading commit data...
extset.mli Loading commit data...
hashcons.ml Loading commit data...
hashcons.mli Loading commit data...
lexlib.mli Loading commit data...
lexlib.mll Loading commit data...
lists.ml Loading commit data...
lists.mli Loading commit data...
loc.ml Loading commit data...
loc.mli Loading commit data...
number.ml Loading commit data...
number.mli Loading commit data...
opt.ml Loading commit data...
opt.mli Loading commit data...
plugin.ml Loading commit data...
plugin.mli Loading commit data...
pp.ml Loading commit data...
pp.mli Loading commit data...
pqueue.ml Loading commit data...
pqueue.mli Loading commit data...
print_tree.ml Loading commit data...
print_tree.mli Loading commit data...
rc.mli Loading commit data...
rc.mll Loading commit data...
stdlib.ml Loading commit data...
stdlib.mli Loading commit data...
strings.ml Loading commit data...
strings.mli Loading commit data...
sysutil.ml Loading commit data...
sysutil.mli Loading commit data...
util.ml Loading commit data...
util.mli Loading commit data...
warning.ml Loading commit data...
warning.mli Loading commit data...
weakhtbl.ml Loading commit data...
weakhtbl.mli Loading commit data...