package dolmen_model

  1. Overview
  2. Docs

Value definition

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

val ops : bool Value.ops

ops for boolean values.

val mk : bool -> Value.t

Boolean value creation.

val builtins : Env.builtins

builtins for booleans

OCaml

Innovation. Community. Security.