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

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DWord.sml22 structure Word: WORD = structure
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dsave_vec.h37 PolyWord Word() { return m_Handle; } function in class:SaveVecEntry
/seL4-l4v-master/HOL4/polyml/basis/
H A DLargeWord.sml171 structure Word :> WORD where type word = shortword = structure
[all...]

Completed in 281 milliseconds