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