def AP.unsome

bend-osdev-array@0.1.0.1 · PROOF.bend:1184

import bend-osdev-array@0.1.0.1/PROOF.bend as PROOF

import Base

1184def AP.unsome(-T: Data, m: Maybe<&2, T>, x: T) -> T:
1185  match m:
1186    case Some{y}:
1187      y
1188    case None{}:
1189      x

Uses (1)

Maybe

Used by (1)

bend-osdev-array@0.1.0.1/PROOF:AP.some_inj