Function enter_loop_var 

pub fn enter_loop_var(
    name: String,
    read_repr: String,
    write_repr: String,
) -> LoopGuard

Bind loop variable name to its list’s representative items for the duration of the guard (the loop body’s classification). Nested loops stack; the innermost binding of a name wins.