def sel_n

import cswap-bend-cli@0.1.0.0/render.bend as Render

import Base

10def sel_n(c: Bool, +x: Nat, +y: Nat) -> Nat:
11  match c:
12    case True{}:
13      x
14    case False{}:
15      y

Uses (2)