def fill.l

bend-ml-tensor@0.1.2.0 · main.bend:71

import Base

71def fill.l(n: Nat, +v: F32) -> List<&2, F32>:
72  match n:
73    case 0n:
74      Nil{}
75    case 1n+p:
76      v <> fill.l(p, v)