Function biodivine_lib_param_bn::_aeon_parser::_from_string_for_fn_update_temp::iff

source · [−]
fn iff(data: &[Token]) -> Result<Box<FnUpdateTemp>, String>
Expand description

(internal) Recursive parsing step 1: extract <=> operators.