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

/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_OPTIMISER.sml172 val na = ! nextAddress before nextAddress := !nextAddress + 1 value
/seL4-l4v-master/HOL4/src/n-bit/
H A DwordsLib.sml2748 val na = fcpLib.index_to_num (word_type a) value
2757 val na = fcpLib.index_to_num (word_type a) value
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml2123 let val na = mkStandardExn name "Not a nested constructor" value

Completed in 71 milliseconds