def tiny_head

unified-nsga-iii@0.2.2.0 · polynomial_mutation.bend:66

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

66def tiny_head(ivs: List<&2, Bounds.Interval>) -> Bool:
67  match ivs:
68    case Nil{}:
69      False{}
70    case +iv <> rest:
71      F32.is_lt(F32.sub(Bounds.hi(iv), Bounds.lo(iv)), 1.0e-14)