def Date.y_adj

import bend-time-lib@0.4.0.1/date.bend as Date

import Base

183def Date.y_adj(y: U32, jf: Bool) -> U32:
184  match jf:
185    case True{}:
186      U32.sub(y, 1)
187    case False{}:
188      y

Uses (3)