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