~/jendhub

def merge

cswap-bend-cli@0.1.0.0 · policy/safe.bend:147

import cswap-bend-cli@0.1.0.0/policy/safe.bend as Safe
import Base

147# The head's candidate against the best of the rest; the head keeps a tie.
148def merge(+m: Maybe<&2, Cd>, +tail: Maybe<&2, Cd>) -> Maybe<&2, Cd>:
149  match m:
150    case None{}:
151      tail
152    case Some{c}:
153      merge.some(c, tail)

Uses (3)

Used by (1)