def max_pos

import cswap-bend-cli@0.1.0.0/args.bend as Args

import Base

292def max_pos(one: Bool) -> Nat:
293  match one:
294    case True{}:
295      1n
296    case False{}:
297      0n

Uses (2)