package fix

  1. Overview
  2. Docs

The lattice of Booleans.

The Boolean lattice. The ordering is false <= true.

type property = bool
val bottom : property
val equal : property -> property -> bool
val is_maximal : property -> bool
OCaml

Innovation. Community. Security.