Function ezno_checker::features::iteration::synthesise_iteration

source ยท 
pub fn synthesise_iteration<T: ReadFromFS, A: ASTImplementation>(
    behavior: IterationBehavior<'_, A>,
    label: Label,
    environment: &mut Environment<'_>,
    checking_data: &mut CheckingData<'_, T, A>,
    loop_body: impl FnOnce(&mut Environment<'_>, &mut CheckingData<'_, T, A>),
    position: SpanWithSource
)