def n_var
import unified-nsga-iii@0.2.2.0/bounds.bend as Boundsimport Base
44def n_var(b: Box) -> Nat:
45 List.length(&2, Interval, intervals_of(b))
import unified-nsga-iii@0.2.2.0/bounds.bend as Boundsimport Base
44def n_var(b: Box) -> Nat:
45 List.length(&2, Interval, intervals_of(b))