Searched defs:month (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DDateSignature.sml22 datatype month = Jan | Feb | Mar | Apr | May | Jun | type
36 val month : date -> month value
H A DDate.sml35 datatype month = Jan | Feb | Mar | Apr | May | Jun | type
173 val month value
247 fun month({month, ...}:date) = monthNoToMonth month function
[all...]

Completed in 33 milliseconds