pub(crate) fn parse_integer_update_expr<T>(
pair: Pair<'_, Rule>,
builder: &T,
ctx: &TLAParsingContext<'_>,
) -> Result<Vec<Action>, Box<Error<()>>>where
T: IsDeclared<Variable> + IsDeclared<Parameter>,Expand description
Parse a pair of type integer_update into an [Action]