MlbendGenerative.head_or_zero: def of mlbend-generative@0.1.1.0
Import: import mlbend-generative@0.1.1.0/main.bend as MlbendGenerative
Lines 376-384 of mlbend-generative@0.1.1.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-generative@0.1.1.0/main.bend&start_line=376&end_line=384

import Base

# the head of a list, or 0.0 when it is empty: the missing eps or z of a
# step whose z is not drawn at all (eta = 0 passes Nil, and sigma·0.0 is
# 0.0)
def head_or_zero(xs: List<&2, F32>) -> F32:
  match xs:
    case Nil{}:
      0.0
    case Con{h, t}:
      h

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