def Weights.wrap

bend-tensors@0.0.0.2 · bend_tensors.bend:1674

import Base

1674def Weights.wrap(-rows: Nat, -cols: Nat, id: U32) -> IO(Weights<rows, cols>):
1675  IO.pure(Weights<rows, cols>, W{id})