Module type Tseitin_intf.Arg

module type Arg = sig .. end

This defines what is needed of formulas in order to implement Tseitin's CNF conversion.

type t 

val neg : t -> t

val fresh : unit -> t

val print : Format.formatter -> t -> unit