package dolmen_model

  1. Overview
  2. Docs
On This Page
  1. Value definition

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