def decompose

bendtorch-core@0.1.0.0 · src/autograd/reduce_fiber_proof.bend:107

import bendtorch-core@0.1.0.0/src/autograd/reduce_fiber_proof.bend as ReduceFiberProof

import Base

107def decompose(+t: Nat, +size: Nat, positive: {Nat.is_lt(0n, size) == True{} : Bool}) -> Decomposed<t, size>:
108  decomposed(t, size, split(t, size, positive))

Uses (6)

Used by (6)