Index of types


T
t [Hlvm.Expr]
Expressions of a first-order intermediate language.
t [Hlvm.Type]
The type system.
t [Hlvm]
Top-level definitions.

V
vars [Hlvm]
Mapping from bound variable names to their LLVM values and HLVM types.