Module Logtk.Binder

Binders for Logic

type t =
| Exists
| Forall
| ForallTy
| Lambda
include Interfaces.HASH with type t := t
include Interfaces.EQ
type t
val equal : t -> t -> bool
val hash : t -> int
include Interfaces.ORD with type t := t
type t
val compare : t -> t -> int
include Interfaces.PRINT with type t := t
type t
val pp : t CCFormat.printer
val to_string : t -> string
val exists : t
val forall : t
val lambda : t
val forall_ty : t
module TPTP : sig ... end
module ZF : sig ... end