Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
12345678910111213141516
(* This file is free software, part of dolmen. See file "LICENSE" for more information *)
(** {2 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 *)