Module Dolmen_model.Bool

Value definition

************************************************************************

val ops : bool Value.ops

ops for boolean values.

val mk : bool -> Value.t

Boolean value creation.

val builtins : Env.t -> Dolmen.Std.Expr.Term.Const.t -> Value.t option

builtins for booleans