Searched defs:topnum (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/string/ | ||
| H A D | stringScript.sml | 29 val topnum = mk_numeral (Arbnum.fromInt 256) value |
| /seL4-l4v-10.1.1/HOL4/src/datatype/ | ||
| H A D | EnumType.sml | 22 val topnum = term_of_int k value |
Completed in 47 milliseconds