def pick.j

bend-toon-codec@0.1.0.0 · src/fold.bend:148

import bend-toon-codec@0.1.0.0/src/fold.bend as Fold
import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J

148def pick.j(+b: Bool, +x: J.Json, +y: J.Json) -> J.Json:
149  match b:
150    case True{}:
151      x
152    case False{}:
153      y

Uses (2)

Used by (1)