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

/seL4-l4v-master/l4v/spec/
H A DMakefile
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlPrettify.sml62 val short = last sl value
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86CODESIG.sml21 type short = Address.short type

Completed in 152 milliseconds