PolynomialMutation.tiny_head: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/polynomial_mutation.bend as PolynomialMutation
Lines 66-71 of unified-nsga-iii@0.2.2.0/polynomial_mutation.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/polynomial_mutation.bend&start_line=66&end_line=71

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/bounds.bend&name=Interval
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/bounds.bend&name=hi
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/bounds.bend&name=lo