Type Definition ValTCM
voile::check::monad
type ValTCM = TCM<(ValInfo, TCS)>;
Val-Producing Type-Checking Monad.