parse_boolean_con

taco_parser::tla::integer_exprs

Function parse_boolean_con 

Source 
fn parse_boolean_con(pair: Pair<'_, Rule>) -> BooleanConnective
Expand description

Parse boolean connectives