next up previous contents
Next: Types Up: The Slate World Previous: Synchronization   Contents


Types

In coordination with the reserved syntax for type-annotation in block headers, the standard libraries include a collection of representations of primitive TYPES as well as quantifications over those types. The library of types is laid out within the non-delegated namespace Types in the lobby.



Subsections

Brian Rice 2004-08-24