Index of types


D
dom [Rel]
The type for domains of values of type 'a.

E
e [Rel_list.Make]
The type for relational list elements.

G
goal [Rel]
The type for goals.

R
reifier [Rel]
The type for reifiers.
ret [Rel]
The type for function applications returning values of type 'a.

S
seq [Rel]
The type for (possibly infinite) sequences of values of type 'a.

T
t [Rel_list.Make]
The type for relational lists.
t [Rel_list.EL]
t [Rel.Value]
See Rel.value.
t [Rel.Seq]
See Rel.seq.
t [Rel.Dom.V]
The type of the values of the domain.
t [Rel.Dom]
See Rel.dom.
term [Rel]
The type for terms denoting values of type 'a.

V
value [Rel]
The type for representing the value of a variable of type 'a in a given state.