2.25 Internal-Definition Limiting: #%stratified-body

2.1	Modules: module, ...
2.2	Importing and Exporting: require and provide
2.3	Literals: quote and #%datum
2.4	Expression Wrapper: #%expression
2.5	Variable References and #%top
2.6	Locations: #%variable-reference
2.7	Procedure Applications and #%app
2.8	Procedure Expressions: lambda and case-lambda
2.9	Local Binding: let, let*, letrec, ...
2.10	Local Definitions: local
2.11	Constructing Graphs: shared
2.12	Conditionals: if, cond, and, and or
2.13	Dispatch: case
2.14	Definitions: define, define-syntax, ...
2.15	Sequencing: begin, begin0, and begin-for-syntax
2.16	Guarded Evaluation: when and unless
2.17	Assignment: set! and set!-values
2.18	Iterations and Comprehensions: for, for/ list, ...
2.19	Continuation Marks: with-continuation-mark
2.20	Quasiquoting: quasiquote, unquote, and unquote-splicing
2.21	Syntax Quoting: quote-syntax
2.22	Interaction Wrapper: #%top-interaction
2.23	Limiting Scope: define-package, open-package, ...
2.24	Blocks: block
2.25	Internal-Definition Limiting: #%stratified-body

On this page:

(#%stratified-body defn-or-expr ...)

Like (let () defn-or-expr ...) for an internal-definition context sequence, except that an expression is not allowed to precede a definition.

The #%stratified-body form is useful for implementing syntactic forms or languages that supply a more limited kind of internal-definition context.