def ordinal

import bend-lint-rules@0.2.0.0/language/decreasing_call.bend as DecreasingCall

import Base

201def ordinal(n: Nat) -> String:
202  U32.show(U32.from_nat(1n+n))

Uses (4)