law noise_length

mlbend-generative@0.1.1.0 · main.bend:100

import Base

100# LAW 1 (noise_length): m numbers asked for are m numbers built.
101law noise_length:
102  for +s: Nat
103  for +m: Nat
104  for +from: Nat
105  {List.length(&2, F32, noise_from(s, m, from)) == m : Nat}