Function biodivine_lib_bdd::_impl_bdd::_impl_boolean_ops::apply

fn apply<T>(left: &Bdd, right: &Bdd, terminal_lookup: T) -> Bdd where
    T: Fn(Option<bool>, Option<bool>) -> Option<bool>, 

(internal) Shorthand for the more advanced apply which includes variable flipping