sig
  type t
  val neg : Tseitin_intf.Arg.t -> Tseitin_intf.Arg.t
  val fresh : unit -> Tseitin_intf.Arg.t
  val print : Format.formatter -> Tseitin_intf.Arg.t -> unit
end