fn parse_integer_expr<T, U>(
pair: Pair<'_, Rule>,
builder: &U,
ctx: &TLAParsingContext<'_>,
) -> Result<IntegerExpression<T>, Error>where
T: Atomic + 'static,
U: IsDeclared<T> + IsDeclared<Parameter>,Expand description
Parse expression over integers into an integer expression