wax-lib.theo
Make.Syntax
Syntax for convenient infix operators. Open locally with let open Theo.Syntax in ...
let open Theo.Syntax in ...
wax-lib
wax-lib.conversion
wax-lib.utils
wax-lib.wasm
wax-lib.wax
val bool : bool Var.t -> t
val (&&) : t -> t -> t
val (||) : t -> t -> t
val not : t -> t
val (==>) : t -> t -> t
Implication
val (<=>) : t -> t -> t
Biconditional (iff)
val (<+>) : t -> t -> t
Exclusive OR (xor)