This page requires javascript to work

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

type TCM<T = TCS> = Result<T, TCE>;

Type-Checking Monad.