ContentsIndex
ABCDEFGHIKLMNOPQRSTUVWZ
Index (V)
Var
1 (Type/Class)
2 (Type/Class)
VarElim
Vector
vars_atom
vars_clause
vars_list
vars_lit
vars_set
1 (Function)
2 (Function)
vars_term