Function biodivine_lib_param_bn::bdd_params::_impl_static_constraints::build_monotonicity_explicit

fn build_monotonicity_explicit<'a>(
    ctx: &Ctx<'a>, 
    regulation: &'a Regulation, 
    update_function: &'a FnUpdate
) -> Bdd