pub(crate) fn parse_int_boolean_expr<T, U>(
pair: Pair<'_, Rule>,
builder: &U,
ctx: &TLAParsingContext<'_>,
) -> Result<BooleanExpression<T>, Error>where
T: Atomic + 'static,
U: IsDeclared<T> + IsDeclared<Parameter>,Expand description
Parse an expression of type int_bool_expr into a BooleanExpression