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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dtiming.cpp462 FILETIME ut, ct, et, kt; local
493 FILETIME ct, et, kt, ut; local
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DksTools.sml376 val kt = type_of ksL value

Completed in 46 milliseconds