Function biodivine_lib_bdd::op_function::and
source ยท pub fn and(l: Option<bool>, r: Option<bool>) -> Option<bool>Expand description
Partial operator function corresponding to $x \land y$.
pub fn and(l: Option<bool>, r: Option<bool>) -> Option<bool>Partial operator function corresponding to $x \land y$.