parse_bool_assignment

veripb_parser::assignment_parser

Function parse_bool_assignment 

Source 
pub fn parse_bool_assignment(
    lex: &mut Lexer<'_, AssignmentToken>,
    var_names: &mut VarNameManager,
) -> Result<Assignment<BooleanVar>, Error>
Expand description

Parse an assignment from a lexer to an Assignment of BooleanVar. This function returns a new Assignment.

See parse_bool_assignment_into for more details.