MlbendGenerative.ddim: def of mlbend-generative@0.1.1.0
Import: import mlbend-generative@0.1.1.0/main.bend as MlbendGenerative
Lines 394-404 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=394&end_line=404

import Base

# One step over the whole sample: elementwise, and the shape follows x —
# n elements in, n elements out (LAW 6). eps and z ride beside it: a
# shorter list pads with 0.0, which is exactly right for the z of an
# eta = 0 step and is caught by the twin's numbers otherwise.
def ddim(+co: Step, x: List<&2, F32>, +eps: List<&2, F32>, +z: List<&2, F32>) -> List<&2, F32>:
  match x:
    case Nil{}:
      Nil{}
    case Con{h, t}:
      Con{ddim_elem(co, h, head_or_zero(eps), head_or_zero(z)),
        ddim(co, t, tail_or_nil(eps), tail_or_nil(z))}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=mlbend-generative@0.1.1.0/main.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=mlbend-generative@0.1.1.0/main.bend&name=ddim_elem
  https://jend.leeeet.dev/definition.txt?path=mlbend-generative@0.1.1.0/main.bend&name=head_or_zero
  https://jend.leeeet.dev/definition.txt?path=mlbend-generative@0.1.1.0/main.bend&name=tail_or_nil