module TypeCheck: sig .. end
sig
end
This is used to check some invariants, in particular well-typedness, on internal AST
exception Error of string
string
module Make (T : TermInner.S) : sig .. end
(
T
:
TermInner.S
)