Searched defs:timeStamp (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/HOL4/polyml/ | ||
H A D | polyexports.h | 72 time_t timeStamp; // Creation time stamp member in struct:_exportDescription |
/seL4-l4v-master/HOL4/polyml/libpolyml/ | ||
H A D | savestate.cpp | 192 time_t timeStamp; // The time stamp for this file. member in struct:_savedStateHeader 244 time_t timeStamp; member in class:HierarchyTable 251 static bool AddHierarchyEntry(const TCHAR *fileName, time_t timeStamp) argument [all...] |
/seL4-l4v-master/HOL4/polyml/basis/ | ||
H A D | FinalPolyML.sml | 828 type timeStamp = Time.time; type 1013 val timeStamp = maxTime(newest, newTimeStamp()); value [all...] |
Completed in 93 milliseconds