type Paired

stelliferous@0.0.2.0 · tensor_band.bend:121

import Base

121# Two trees of one shape, joined leaf by leaf. A left leaf without a partner
122# keeps its own row range, so the left tree can be returned unchanged.
123type Paired<-Left: Type,-Right: Type> is Type:
124  Both{left: Left,right: Right}
125  Only{left: Left,first: U32,rows: U32}