Index of values


A
atom [ArForm]
Atomic formula
atom_g [ArForm]

B
base [ArType]
Random base symbol
base_g [ArType]

C
clause [ArForm]
clause
clause_g [ArForm]

D
default [ArID]
Set of symbols
default [ArType]
Any type (polymorphic)
default [ArForm]
polymorphic formula with connectives (DB-closed)
default [ArTerm.PT]
Default polymorphic term
default [ArTerm]
Default polymorphic term
default_fuel [ArForm]
default_fuel [ArTerm.PT]
default_fuel [ArTerm]
default_g [ArID]
default_g [ArType]
default_g [ArTerm.PT]
default_g [ArTerm]

G
ground [ArType]
Ground type
ground [ArTerm.PT]
Default ground monomorphic term
ground [ArTerm]
Default ground monomorphic term
ground_g [ArType]
ground_g [ArTerm.PT]
ground_g [ArTerm]

P
pos [ArTerm]
Random valid position in the term
pred [ArTerm.PT]
predicates (type "prop")
pred [ArTerm]
predicates (type "o")
pred_g [ArTerm.PT]

S
set [ArID]
Arbitrary set of various symbols
set_g [ArID]
shrink [ArTerm.PT]
shrink [ArTerm]