~/jendhub

def choose

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

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

88def choose(left: Group, right: Group) -> Bool:
89  match left right:
90    case Group{0n, _, _} _:
91      False{}
92    case _ Group{0n, _, _}:
93      True{}
94    case Group{_, a, _} Group{_, b, _}:
95      F32.is_le(a, b)

Uses (4)

Used by (1)