~/jendhub

def left

bendtorch-core@0.1.0.0 · src/storage/array.bend:4

import bendtorch-core@0.1.0.0/src/storage/array.bend as Array
import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model

4def left(-T: Type, -d: Nat, -xs: Array<T>, -ys: Array<T>,
5  e: Model.Balanced(T, d, xs) & Model.Balanced(T, d, ys)) -> Model.Balanced(T, d, xs):
6  (ex, ey) = e
7  ex

Uses (5)

Used by (1)