def split_depth

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

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

import Base

1200def split_depth(d: Nat, +n: Nat, +m: Nat, +k: Nat) -> Nat:
1201  split_pick(Bool.and(Nat.is_le(64n, k), Nat.is_le(8388608n, Nat.mul(Nat.mul(n, m), k))), d)

Uses (5)

Used by (14)