def Date.is_30

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

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

import Base

52def Date.is_30(+m: U32) -> Bool:
53  Bool.or(
54    U32.is_eq(m, 4),
55    Bool.or(U32.is_eq(m, 6), Bool.or(U32.is_eq(m, 9), U32.is_eq(m, 11)))
56  )

Uses (4)

Used by (1)

bend-time-lib@0.4.0.1/date:Date.dim.rest2