Function parse_integer_atom 

fn parse_integer_atom<T, U>(
    pair: Pair<'_, Rule>,
    builder: &U,
    ctx: &TLAParsingContext<'_>,
) -> Result<IntegerExpression<T>, Error>
where
    T: Atomic + 'static,
    U: IsDeclared<T> + IsDeclared<Parameter>,

Parse integer atom

Returns an integer expression if the pair is a constant, known identifier, cardinality expression or could be parsed to an expression.

Returns an error if the identifier was not declared with the identifier name