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