sig
  type t = Exists | Forall | ForallTy | Lambda
  val equal : t -> t -> bool
  val hash_fun : t -> CCHash.state -> CCHash.state
  val hash : t -> int
  val compare : t -> t -> int
  val pp : t CCFormat.printer
  val to_string : t -> string
  val exists : Binder.t
  val forall : Binder.t
  val lambda : Binder.t
  val forall_ty : Binder.t
  module TPTP :
    sig val pp : t CCFormat.printer val to_string : t -> string end
  module ZF : sig val pp : t CCFormat.printer val to_string : t -> string end
end