Functor Typed_eval.Make

module Make: 
functor (TC : TYPECHECKER) -> sig .. end

When applied, this functor creates a REPL that runs the provided type checker and the evaluator. You can start the REPL by running:

cs691f run Typechecker repl