Function biodivine_lib_bdd::boolean_expression::_impl_parser::tokenize_group

fn tokenize_group(
    data: &mut Peekable<Chars>, 
    top_level: bool
) -> Result<Vec<ExprToken>, String>

(internal) Process a peekable iterator of characters into a vector of ExprTokens.

The outer method always consumes the opening parenthesis and the recursive call consumes the closing parenthesis. Use top_level to indicate that there will be no closing parenthesis.