Dolmen_model.Bool
************************************************************************
val ops : bool Value.ops
ops for boolean values.
val mk : bool -> Value.t
Boolean value creation.
val builtins : Env.builtins
builtins for booleans