Safe.merge: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/policy/safe.bend as Safe Lines 147-153 of cswap-bend-cli@0.1.0.0/policy/safe.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/safe.bend&start_line=147&end_line=153 import Base # The head's candidate against the best of the rest; the head keeps a tie. def merge(+m: Maybe<&2, Cd>, +tail: Maybe<&2, Cd>) -> Maybe<&2, Cd>: match m: case None{}: tail case Some{c}: merge.some(c, tail) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/safe.bend&name=Cd https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/safe.bend&name=merge.some