~/jendhub

def right

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

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

9def right(-T: Type, -d: Nat, -xs: Array<T>, -ys: Array<T>,
10  e: Model.Balanced(T, d, xs) & Model.Balanced(T, d, ys)) -> Model.Balanced(T, d, ys):
11  (ex, ey) = e
12  ey

Uses (5)

Used by (1)