pub fn parse_comparison_expr<T, U>(
pair: Pair<'_, Rule>,
builder: &U,
ctx: &TLAParsingContext<'_>,
) -> Result<(IntegerExpression<T>, ComparisonOp, IntegerExpression<T>), Error>where
T: Atomic + 'static,
U: IsDeclared<T> + IsDeclared<Parameter>,Expand description
Parse a pair of type comparison_expr into a CompExpr