sig
exception
Type_error
of
string
val
type_check :
Typed_syntax
.exp
->
Typed_syntax
.typ
end