Function biodivine_lib_bdd::op_function::or

pub fn or(l: Option<bool>, r: Option<bool>) -> Option<bool>

Partial operator function corresponding to $x \lor y$.