def Date.from_days.doe

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

import Base

247def Date.from_days.doe(+z: U32, era: U32) -> U32:
248  U32.sub(z, U32.mul(era, 146097))

Uses (3)