Type Definition TCM
minitt::type_check
type TCM<T> = Result<T, TCE>;
G in Mini-TT. Type-Checking Monad.
G