Module type Typed_eval.TYPECHECKER

module type TYPECHECKER = sig .. end

The signature expected of typechecker

exception Type_error of string

val type_check : Typed_syntax.exp -> Typed_syntax.typ