def common

stelliferous@0.0.2.0 · tensor_select.bend:36

import stelliferous@0.0.2.0/tensor_select.bend as TensorSelect

import Base
import stelliferous@0.0.2.0/tensor_band_schedule.bend as Schedule

36def common(left: Maybe<&2,BandPlan>,right: Maybe<&2,BandPlan>) -> Maybe<&2,BandPlan>:
37  match left right:
38    case Some{BandPlan{+geometry,left}} Some{BandPlan{other,right}}: Some{BandPlan{geometry,Schedule.alignment(geometry,left,right)}}
39    case Some{left} None{}: Some{left}
40    case None{} right: right

Uses (3)

Used by (1)

stelliferous@0.0.2.0/tensor_select:matching