def sel.n

import cswap-bend-cli@0.1.0.0/json/lex.bend as Lex

import Base

32def sel.n(c: Bool, x: Nat, y: Nat) -> Nat:
33  match c:
34    case True{}:
35      x
36    case False{}:
37      y

Uses (2)