On this page:
typed-in
opaque-type-in
7.1

7 Untyped with Typed Syntax

The plai-typed/untyped language supports the same syntax as plai-typed, but it performs no type checking.

The define-syntax, define-syntax-rule, module+, and require forms from plai-typed/untyped are the bindings from racket/base instead of plai-typed.

Forms for require that simulate the ones from plai-typed by expanding to uses of only-in.