#lang scribble/manual

@begin[(require (for-label (only-meta-in 0 typed/racket))
                scribble/example)]

@(define the-eval (make-base-eval))
@(the-eval '(require typed/racket))
@(the-eval '(+ 1 2))