~/jendhub

def split

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

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

68def split(+t: Nat, +size: Nat, positive: {Nat.is_lt(0n, size) == True{} : Bool}) -> Split<t, size>:
69  match t:
70    case 0n:
71      Split{0n, 0n, positive, {==}}
72    case 1n+p:
73      split_next(p, size, split(p, size, positive))

Uses (5)

Used by (1)