fn receive_range_check(
        &mut self,
        range_check_opcode: impl Into<Self::Expr>,
        val: impl Into<Self::Expr>,
        is_real: impl Into<Self::Expr>,
    ) {
        self.receive(
            AirInteraction::new(
                vec![range_check_opcode.into(), val.into()],
                is_real.into(),
                InteractionKind::Range,
            ),
            InteractionScope::Global,
        );
    }
Receives a range check operation to be processed.
crates/recursion/core/src/air/builder.rs