def n_obj

unified-nsga-iii@0.2.2.0 · bounds.bend:34

import Base

34def n_obj(b: Box) -> Nat:
35  match b:
36    case MkBox{m, ivs}:
37      m