Index of types


A
axiom [Input]

B
binop [Logic]

C
configData [Util]
The configuration data can be of several types *

D
doc [Pretty]
The type of unformated documents.

E
edef [Proof]
Expression definitions.
entries [Satproc]
There are the entry points in a decision procedure
exp [Logic]

F
fill [GrowArray]
The default value to a new element of the growable array

I
ident [Satproc]
The unique identifier of a satisfiability procedure
input [Input]
The input to the prover is presented as a sequence of "inputs".

L
lemma [Proof]
location [Logic]
location [Errormsg]
Type for source-file locations

M
message [Satproc]

P
parg [Proof]
parserSpec [Satproc]
A specification for a parser
pdef [Proof]
pred [Logic]
A symbolic predicate
proof [Proof]
proofgen [Engine]

R
registerInfo [Util]
The state information that the UI must display is viewed abstractly as a set of registers.

S
sexp [Logic]
soption [Logic]
spred [Logic]
state [Engine]
The state of the prover
subst [Logic]
symbol [Util]
Symbols are integers that are uniquely associated with names

T
t [GrowArray]
The type of growable arrays
t [Util.STACK]
The type of stacks containing elements of type 'a.

U
unop [Logic]

V
var [Logic]
visitAction [Logic]
Different visiting actions.