type Box
import unified-nsga-iii@0.2.2.0/bounds.bend as Boundsimport Base
12type Box is Data:
13 MkBox{
14 m: Nat
15 ivs: List<&2, Interval>
16 }
import unified-nsga-iii@0.2.2.0/bounds.bend as Boundsimport Base
12type Box is Data:
13 MkBox{
14 m: Nat
15 ivs: List<&2, Interval>
16 }