def Date.leap100
import bend-time-lib@0.4.0.1/date.bend as Dateimport 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)
import bend-time-lib@0.4.0.1/date.bend as Dateimport 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)