~/jendhub

def high

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

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

24def high(+clamped: Slice.Bounds) -> Nat:
25  Slice.Bounds{start, stop} = clamped
26  stop

Uses (2)

Used by (3)