def pick_err

bend-schema-lib@0.4.1.0 · core.bend:788

import bend-schema-lib@0.4.1.0/core.bend as Core

import Base

788def pick_err(b: Bool, +x: Maybe<&2, Err>, +y: Maybe<&2, Err>) -> Maybe<&2, Err>:
789  match b:
790    case True{}:
791      x
792    case False{}:
793      y

Uses (3)

Used by (3)