~/jendhub

def Date.is_31

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

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

34def Date.is_31(+m: U32) -> Bool:
35  Bool.or(
36    U32.is_eq(m, 1),
37    Bool.or(
38      U32.is_eq(m, 3),
39      Bool.or(
40        U32.is_eq(m, 5),
41        Bool.or(
42          U32.is_eq(m, 7),
43          Bool.or(
44            U32.is_eq(m, 8),
45            Bool.or(U32.is_eq(m, 10), U32.is_eq(m, 12))
46          )
47        )
48      )
49    )
50  )

Uses (4)

Used by (1)