def dec1

import bend-collections@1.0.0.0/src/containers/dynamic_array.bend as DynamicArray

import Base

204def dec1(n: Nat) -> Nat:
205  match n:
206    case 0n:
207      0n
208    case 1n+p:
209      p

Uses (1)