Searched defs:year (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DDate.sml29 val year = FixedInt.toLarge o year value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DDateSignature.sml35 val year : date -> int value
H A DDate.sml165 val (year, days) = daysToYears(LargeInt.toInt(tsecs div secsPerDay)) value
239 val year: date->int = #year value
[all...]

Completed in 41 milliseconds