def choose

bendvy-ecs-core@0.1.0.3 · lifecycle.bend:11

import Base

11def choose(found: Bool,stamp: Stamp,other: Stamp) -> Stamp:
12  match found:
13    case True{}: stamp
14    case False{}: other