package idd

  1. Overview
  2. Docs

Source file boolean.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
module type Algebra = sig
  val declare_var : string -> [`Ok | `Duplicate]

  type t
  val fls : t
  val tru : t
  val of_bool : bool -> t
  val var : string -> t
  val ( && ) : t -> t -> t
  val ( || ) : t -> t -> t
  val ( ! ) : t -> t
  val ( == ) : t -> t -> bool
end

OCaml

Innovation. Community. Security.