This page requires javascript to work

[][src]Function voile::check::eval::evaluate_variants

fn evaluate_variants(tcs: TCS, variants: Vec<LabAbs>) -> (Variants, TCS)