~/jendhub

def Flat.clone.snd

bend-tensors@0.0.0.2 · bend_tensors.bend:1780

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
import Base

1780def Flat.clone.snd(+rows: Nat, +cols: Nat, r: Flat<rows, cols> & Flat<rows, cols>) -> Flat<rows, cols>:
1781  (a, b) = r
1782  b

Uses (4)

Used by (0)

No other definition uses this definition.