Searched defs:str (Results 51 - 55 of 55) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dderive_specsLib.sml679 val str = "Section `"^sec_name^"` consists of "^cl^" instructions." value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DCommonDialog.sml1088 val str = (Word.toInt sizePageSD, owner, devmode, devnames, flags, value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DString.sml199 val str: char ->string = charAsString value
555 val str = LibrarySupport.allocString iW value
580 val str = LibrarySupport.allocString iW value
1703 val str: char -> string = String.str; value
[all...]
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_grammar.sml1713 let val (str, ty) = Term.dest_const tm ; value
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DwordsLib.sml[all...]

Completed in 174 milliseconds

123