Index of types


C
cons [CoreML]
Type for CoreML-constants.

D
dir [CoreML]
Type used to relate to certain subparts of a CoreML-expression.

E
entry [Session]
env [Type]

P
pos [CoreML]
Type for subterm-positons.

R
result [Parser]

T
t [Type]
t [St]
t [Session]
t [Parser]
t [Monad.TYPEWRAPPER]
t [Monad.MONAD]
t [Monad.MONAD_MINIMAL]
t [Monad.Option]
t [InterpreterM]
Abstract type for interpreter-monad.
t [CoreML]
Type for CoreML-expressions.
template [Session]

V
var [CoreML]
Type for CoreML-variables.