Tseitin.Arg
The implementation of formulas required to implement Tseitin's CNF conversion.
type t
Type of atomic formulas.
val neg : t -> t
Negation of atomic formulas.
val pp : t CCFormat.printer
Print the given formula.