Searched defs:day (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DDate.sml30 and day = FixedInt.toLarge o day value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DDateSignature.sml37 val day : date -> int value
H A DDate.sml240 and day: date->int = #day value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dtiming.cpp217 int day = 0; local

Completed in 127 milliseconds