~/jendhub

def low

bendtorch-core@0.1.0.0 · src/tensor/slice_LAWS.bend:20

import bendtorch-core@0.1.0.0/src/tensor/slice_LAWS.bend as SliceLAWS
import Base
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice

20def low(+clamped: Slice.Bounds) -> Nat:
21  Slice.Bounds{start, stop} = clamped
22  start

Uses (2)

Used by (3)