Mentions légales du service

Skip to content
  • 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