Module Context.Abstract

module Abstract: sig  end

val atom : Context.t * Atom.t -> Context.t * Atom.t

Parameters:

(s,a) : Context.t * Atom.t

val equal : Context.t -> Term.t * Term.t -> Context.t * Atom.t

Parameters:

s	:	`Context.t`
(a,b)	:	`Term.t * Term.t`

val diseq : Context.t -> Term.t * Term.t -> Context.t * Atom.t

Parameters:

s	:	`Context.t`
(a,b)	:	`Term.t * Term.t`

val cnstrnt : Context.t -> Term.t * Sign.t -> Context.t * Atom.t

Parameters:

s	:	`Context.t`
(a,i)	:	`Term.t * Sign.t`

val term : Th.t -> Context.t * Term.t -> Context.t * Term.t

Parameters:

i	:	`Th.t`
(s,a)	:	`Context.t * Term.t`

val args : Th.t -> Context.t * Term.t list -> Context.t * Term.t list

Parameters:

i	:	`Th.t`
(s,al)	:	`Context.t * Term.t list`