~/jendhub

def place

bend-edit-distance@0.2.2.0 · src/Batch.bend:97

import bend-edit-distance@0.2.2.0/src/Batch.bend as Batch
import Base

97def place(job: WeightedJob, left: Group, right: Group, use_left: Bool) -> Group & Group:
98  match use_left:
99    case True{}:
100      (add(left, job), right)
101    case False{}:
102      (left, add(right, job))

Uses (6)

Used by (1)