The HashConsBool structure

The HashConsBool structure embeds the bool type as a hash-consed object.

Synopsis

structure HashConsBool

type hash_key = bool
type obj = hash_key HashCons.obj

val mk : hash_key -> obj

val hcFalse : obj
val hcTrue : obj

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