def box

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

import Base

31def box(+m: Nat, ivs: List<&2, Interval>) -> Box:
32  MkBox{m, ivs}