def borrow

import bendtorch-core@0.1.0.0/src/storage/arith.bend as Arith

import Base

22def borrow(c: Bool) -> Nat:
23  match c:
24    case False{}:
25      1n
26    case True{}:
27      0n

Uses (2)