Module Logtk.BinderSource

Binders for Logic

The classic binders for the internal AST and various term representations.

Sourcetype t =
  1. | Exists
  2. | Forall
  3. | ForallTy
  4. | Lambda
include Interfaces.HASH with type t := t
include Interfaces.EQ with type t := t
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
include Interfaces.ORD with type t := t
Sourceval compare : t -> t -> int
include Interfaces.PRINT with type t := t
Sourceval to_string : t -> string
Sourceval exists : t
Sourceval forall : t
Sourceval lambda : t
Sourceval forall_ty : t
Sourcemodule TPTP : sig ... end
Sourcemodule ZF : sig ... end