def n_var

unified-nsga-iii@0.2.2.0 · problems.bend:57

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

57def n_var(p: Problem) -> Nat:
58  Bounds.n_var(box_of(p))