1.3 Templates and Phases

Synopsis: Reasoning about a syntax template’s bindings consists of reasoning about its context, the phase of the template relative to the enclosing module, the phase of the enclosing module relative to the use of the syntax.