Problems.c1_w: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/problems.bend as Problems
Lines 584-600 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=584&end_line=600

import Base

# Last objective / 0.6, earlier objectives / 0.5. fuel starts at |f|.
def c1_w(fuel: Nat, fs: List<&2, F32>, +acc: F32) -> F32:
  match fuel:
    case 0n:
      acc
    case 1n:
      match fs:
        case Nil{}:
          acc
        case +h <> rest:
          F32.add(acc, F32.div(h, 0.6))
    case 1n+f:
      match fs:
        case Nil{}:
          acc
        case +h <> rest:
          c1_w(f, rest, F32.add(acc, F32.div(h, 0.5)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat