The HashConsBool structure embeds the bool type as a hash-consed object.
Synopsis
structure HashConsBool
Interface
type hash_key = bool
type obj = hash_key HashCons.obj
val mk : hash_key -> obj
val hcFalse : obj
val hcTrue : obj
Description
type hash_key = bool-
The ground type being hashed.
type obj = hash_key HashCons.obj-
The type of hash-consed booleans.
val mk : hash_key -> obj-
mk bconverts the booleanbto a hash-consed object. val hcFalse : obj-
the hash-consed representation of
false. val hcTrue : obj-
the hash-consed representation of
true.