Boolean.ml 147 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14
(* The Boolean lattice. *)

type property =
    bool

let bottom =
  false

let equal (b1 : bool) (b2 : bool) =
  b1 = b2

let is_maximal b =
  b