Function biodivine_lib_bdd::op_function::iff

source · [−]
pub fn iff(l: Option<bool>, r: Option<bool>) -> Option<bool>
Expand description

Partial operator function corresponding to x⇔yx \Leftrightarrow y.