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

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DRandom.sml25 val sec = micro_s div 1000000 value
33 val {sec, usec} = getrealtime () value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sml632 val sec = Arbnum.floor (toReal t) value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheory.sml164 let val {sec,usec} = Portable.dest_time (Portable.timestamp()) value
[all...]

Completed in 119 milliseconds