[−][src]Function minitt::check::expr::check_infer
pub fn check_infer(index: u32, tcs: TCS, expression: Expression) -> TCM<Value>
checkI
in Mini-TT.
Type inference rule. More inferences are added here (maybe it's useful?).