Problems.box_of: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/problems.bend as Problems
Lines 39-42 of unified-nsga-iii@0.2.2.0/problems.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/problems.bend&start_line=39&end_line=42

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

def box_of(p: Problem) -> Bounds.Box:
  match p:
    case MkProblem{kind, box, alpha}:
      box

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/bounds.bend&name=Box
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/problems.bend&name=Problem