[−][src]Function minitt::check::expr::check_telescoped
pub fn check_telescoped(
index: u32,
tcs: TCS,
pattern: Pattern,
first: Expression,
second: Expression
) -> TCM<TCS>
To reuse code that checks if a sigma or a pi type is well-typed between check_type
and check