Function biodivine_lib_bdd::boolean_expression::_impl_parser::parse_formula

pub(in boolean_expression::_impl_parser) fn parse_formula(
    data: &[ExprToken]
) -> Result<Box<BooleanExpression>, String>

(internal) Parse a ExprToken tree into a BooleanExpression (or error if invalid).