Index of types

A
aggregate [TopDownAst]
aggregate [TopDown.S.Lit]
C
clause [TopDownAst]
clause [BottomUpAst]
clause [TopDown.PARSE]
clause [BottomUp.S]	A datalog clause, i.e.
const [CamlInterface]	Datalog constant.
const [TopDown.S]
const [TopDown]
D
db [BottomUp.S]	A database of facts and clauses, with incremental fixpoint computation
E
embedding [BottomUp.Univ]	Conversion between the universal type and 'a
explanation [BottomUp.S]
F
fact_handler [BottomUp.S]
file [TopDownAst]
file [BottomUpAst]	Toplevel statement
G
goal_handler [BottomUp.S]
I
interpreter [TopDown.S.DB]	Interpreted predicate.
K
key [CamlInterface.Univ]	Conversion between the universal type and 'a
L
lit [TopDown.PARSE]
literal [TopDownAst]
literal [BottomUpAst]
literal [BottomUp.S]	A datalog atom, i.e.
M
map [TopDown.S.BuiltinFun]	Map symbols to builtin functions.
N
name_ctx [TopDown.PARSE]
Q
query [BottomUpAst]
R
renaming [TopDown.S.Subst]
rule [TopDown.S.Rewriting]
S
scope [TopDown.S.Subst]
scope [TopDown.S]
set [BottomUp.S.Query]	mutable set of term lists
soft_clause [BottomUp.S]
soft_lit [BottomUp.S]
symbol [BottomUp.S]	Abstract type of symbols (individual objects)
T
t [CamlInterface.RelList]
t [CamlInterface.Rel3]
t [CamlInterface.Rel2]
t [CamlInterface.Rel1]
t [CamlInterface.Univ]	The universal type
t [TopDown.PARSABLE_CONST]
t [TopDown.S.DB]	A database is a repository for Datalog clauses.
t [TopDown.S.Rewriting]	A rewriting system.
t [TopDown.S.Index]	A set of term->data bindings, for efficient retrieval by unification
t [TopDown.S.BuiltinFun]
t [TopDown.S.Subst]
t [TopDown.S.C]
t [TopDown.S.Lit]
t [TopDown.S.T]
t [TopDown.CONST]
t [BottomUp.Univ]	The universal type
term [TopDownAst]
term [BottomUpAst]
term [TopDown.PARSE]
term [BottomUp.S]
token [TopDownParser]
token [BottomUpParser]
U
user_fun [BottomUp.S]
V
vartbl [Default]