Interface Decl

All Superinterfaces:
DeclOrInstr, Kernel
All Known Subinterfaces:
Ptn, RecPtn
All Known Implementing Classes:
BasicRecPtn, FieldDef, FieldPtn, Ident, IdentDef, IdentPtn, ProcDef, RecDef, TupleDef, ValueDef
public interface Decl extends DeclOrInstr
Kernel memory can only contain values. Therefore, all declarations must be converted to values. The process of converting a declaration to a value occurs when a computation step must bind an identifier, procedure definition or record definition to memory for subsequent computation. Converting a declaration to a value causes declarations and identifiers to be associated with closures, values and memory variables (memory locations).