Module Binder

module Binder: sig .. end

type t = 

include Interfaces.HASH

include Interfaces.ORD

include Interfaces.PRINT

val exists : t

val forall : t

val lambda : t

val forall_ty : t

module TPTP: sig .. end

module ZF: sig .. end