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 b
converts the booleanb
to a hash-consed object. val hcFalse : obj
-
the hash-consed representation of
false
. val hcTrue : obj
-
the hash-consed representation of
true
.