def n_obj

import unified-nsga-iii@0.2.2.0/problems.bend as Problems

import Base
import unified-nsga-iii@0.2.2.0/bounds.bend as Bounds

54def n_obj(p: Problem) -> Nat:
55  Bounds.n_obj(box_of(p))

Uses (4)