Function define_opers 

pub fn define_opers<I>(
    arena: &mut Arena,
    defs_input: I,
) -> Result<(), ParlexError>
where
    I: TryNextWithContext<Arena, Item = u8, Error: Display + 'static>,

Defines or extends operator definitions directly from a Prolog-like op/6 term list read from an input source.

This allows dynamic addition of new operator fixities and precedence rules during parsing.

Parameters

• arena: Arena allocator used for constructing term structures.
• defs_input: Input byte iterator yielding the operator definition terms.

Errors

Returns an error if parsing the operator term list fails or produces an invalid operator specification.