Function biodivine_lib_bdd::boolean_expression::_impl_parser::terminal

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

(internal) Recursive parsing step 6: extract terminals and negations.