Searched defs:arcs (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/samplecode/ide/ |
| H A D | use.sml | 71 val { arcs, ...} = fromString pathFromRoot value
|
| /seL4-l4v-master/HOL4/tools/ |
| H A D | win-config.sml | 22 val {arcs,isAbs,vol} = Path.fromString s value
|
| H A D | configure-mosml.sml | 135 val {arcs, isAbs, vol} = Path.fromString libdir value
140 val arcs = case frontlast arcs of value
197 val {arcs, isAbs, vol} = Path.fromString currentdir value
[all...] |
| /seL4-l4v-master/HOL4/tools/Holmake/poly/ |
| H A D | MB_Monitor.sml | 99 val {arcs,isAbs,vol} = fromString s value
|
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_FUNCTIONS.sml | 444 and arcs({lambda={closure, ...}, ...}: node) = function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | OS.sml | 361 val arcs = String.fields isSeparator rest value
691 val arcs = String.fields (fn ch => ch = #"/") s value
[all...] |
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | Parse.sml | 1175 val {arcs,isAbs,vol} = Path.fromString dirname value
|
Completed in 111 milliseconds