This page requires javascript to work

[][src]Type Definition voile::check::monad::ValTCM

type ValTCM = TCM<(ValInfo, TCS)>;

Val-Producing Type-Checking Monad.