[−][src]Function minitt::check::decl::check_lift_parameters
pub fn check_lift_parameters<'a>(
index: u32,
tcs: TCS<'a>,
parameters: Vec<Typed>,
check_body: impl FnOnce(TCS<'a>) -> TCM<LiftState<'a>>
) -> TCM<LiftState<'a>>
Lift all these parameters
into the context.
Returning TCS
to reuse the variable.
check_body
is supposed to return signature
, body
and tcs
.