~/jendhub

def second

bendtorch-core@0.1.0.0 · src/storage/refinement.bend:22

import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement
import Base

22def second(-T: Type, pair: Array<T> & T) -> T:
23  (array, value) = pair
24  value

Uses (3)

Used by (53)