Module Typed_eval

module Typed_eval: sig .. end

Evaluator for the typed language

val eval : Typed_syntax.exp -> Typed_syntax.exp

module type TYPECHECKER = sig .. end

The signature expected of typechecker

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

When applied, this functor creates a REPL that runs the provided type checker and the evaluator.