~/jendhub

def merge.some

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

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

140def merge.some(+c: Cd, +tail: Maybe<&2, Cd>) -> Maybe<&2, Cd>:
141  match tail:
142    case None{}:
143      Some{c}
144    case Some{d}:
145      merge.at(cd.lt(d, c), c, d)

Uses (4)

Used by (1)