Function biodivine_lib_param_bn::bdd_params::_impl_static_constraints::build_monotonicity_implicit

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