| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | smpp.sig | 26 val lower : ('st,'a) t -> 'st -> (HOLPP.pretty * 'a * 'st) option value
|
| H A D | smpp.sml | 79 fun lower m st0 = function
|
| /seL4-l4v-master/HOL4/examples/real-to-float/ |
| H A D | daisyLib.sml | 21 val lower = el 5 strs |> stringSyntax.fromMLstring value
|
| /seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
| H A D | smlPrettify.sml | 63 val lower = String.translate (Char.toString o Char.toLower) short value
|
| /seL4-l4v-master/seL4/include/drivers/timer/ |
| H A D | arm_global.h | 47 uint32_t upper, upper2, lower; local
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/ |
| H A D | arm_configLib.sml | 31 val lower = List.map (List.map utilsLib.lowercase) value
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibParser.sig | 57 val lower : char -> bool value
|
| H A D | mlibParser.sml | 239 val lower = Char.isLower; value
|
| H A D | mlibOmega.sml | 767 val (lower, upper) = dbfold categorise (NONE, NONE) ptree value
[all...] |
| H A D | mlibUseful.sml | 455 val lower = len (explode "abcdefghijklmnopqrstuvwxyz"); value
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | armLib.sml | 229 val lower = String.map Char.toLower value
|
| /seL4-l4v-master/HOL4/help/src-sml/ |
| H A D | ParseDoc.sml | 383 val lower = String.map Char.toLower value
|
| /seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
| H A D | Regexp_Numerics.sml | 384 val lower = neg_zigzag dir (lo,~(hi+1)) value
429 val lower = neg_sign_mag dir (lo,~(hi+1)) value
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | pexport.cpp | 75 size_t lower = 0, upper = pMap.size(); local
|
| /seL4-l4v-master/seL4/src/machine/ |
| H A D | io.c | 222 static char *fmt_x(word_t x, char *s, int lower) argument
|
| /seL4-l4v-master/HOL4/src/integer/ |
| H A D | OmegaMLShadow.sml | 711 val (lower, upper) = dbfold categorise (NONE, NONE) ptree value
[all...] |
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | Useful.sml | 541 val lower = len (explode "abcdefghijklmnopqrstuvwxyz"); value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 514 val lower = len (String.explode "abcdefghijklmnopqrstuvwxyz"); value
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 514 val lower = len (String.explode "abcdefghijklmnopqrstuvwxyz"); value
|