def kept

bendtorch-core@0.1.0.0 · src/tensor/batched_matmul_LAWS.bend:349

import bendtorch-core@0.1.0.0/src/tensor/batched_matmul_LAWS.bend as BatchedMatmulLAWS

import Base

349def kept(dropped: Bool, +extent: Nat) -> List<&2, Nat>:
350  match dropped:
351    case True{}:
352      Nil{}
353    case False{}:
354      [extent]

Uses (3)

Used by (5)