[][src]Function nar::check::rules::data::check_cons

fn check_cons(tcs: TCS, cons: AbsConsInfo, ty: &Val) -> TCM<(TCS, ConsInfo)>