def Date.leap100

bend-time-lib@0.4.0.1 · date.bend:10

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

10def Date.leap100(+y: U32, d100: Bool) -> Bool:
11  match d100:
12    case False{}:
13      True{}
14    case True{}:
15      U32.is_eq(U32.mod(y, 400), 0)

Uses (4)

Used by (1)