val not : t ‑> t
val (&&) : t ‑> t ‑> t
val (||) : t ‑> t ‑> t
val (==) : 'a Variable.t ‑> 'a Field.t ‑> t
val (==>) : t ‑> t ‑> t