def zero_out

bend-ml-tensor-array@0.1.19.0 · main.bend:1799

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

1799# s == n + 0  ->  s == n
1800def zero_out(-s: Nat, +n: Nat, e: {s == Nat.add(n, 0n) : Nat}) -> {s == n : Nat}:
1801  %add_zero_r(n) : {s == _ : Nat}
1802  e

Uses (3)

Used by (4)