Up

Module O

Signature

val not : t -> t

val (&&) : t -> t -> t

val (||) : t -> t -> t

val (==) : 'a Variable.t -> 'a Field.t -> t

val (==>) : t -> t -> t