#lang scribble/doc
@(require scribble/manual scribble/eval "evaluator.ss"
          (for-label "../language/dracula.scm"))

@title[(scheme "avl-rational-keys")]

@(define avl-evaluator
   (evaluator '(include-book "avl-rational-keys" :dir :teachpacks)))

@specform[(include-book "avl-rational-keys" :dir :teachpacks)]

Documentation under construction.