reference/evaluator.rkt
#lang racket/base

(require racket/sandbox
         "../private/planet.rkt"
         "../lang/acl2-module-v.rkt")

(require (cce sandbox))

(provide the-evaluator evaluator modular-evaluator)

(define (evaluator . definitions)
  (apply make-scribble-evaluator acl2-module-v definitions))

(define (modular-evaluator . definitions)
  (apply make-scribble-evaluator modular-acl2-module-v definitions))

(define the-evaluator (evaluator))