package logtk

  1. Overview
  2. Docs
On This Page
  1. Binders for Logic
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

Binders for Logic

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

  • since 1.5
type t =
  1. | Exists
  2. | Forall
  3. | ForallTy
  4. | Lambda
include Interfaces.HASH with type t := t
include Interfaces.EQ with type t := t
val equal : t -> t -> bool
val hash : t -> int
include Interfaces.ORD with type t := t
val compare : t -> t -> int
include Interfaces.PRINT with type t := t
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