def sel_n

import cswap-bend-cli@0.1.0.0/swpick.bend as Swpick

import Base

64def sel_n(+c: Bool, +x: Nat, +y: Nat) -> Nat:
65  match c:
66    case True{}:
67      x
68    case False{}:
69      y

Uses (2)