Searched defs:aliases (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | NetProtDB.sml | 24 val aliases : entry -> string list value
38 val aliases : entry -> string list = #2 value
|
| H A D | NetServDB.sml | 24 val aliases : entry -> string list value
39 val aliases : entry -> string list = #2 value
|
| H A D | NetHostDB.sml | 26 val aliases : entry -> string list value
136 val aliases : entry -> string list = #2 value
|
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/ |
| H A D | parser.py | 88 aliases = { variable
|
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Feedback.sml | [all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | network.cpp | 1208 Handle aliases, name, addrType, result; local
1239 Handle aliases, name, protocol, result; local
1263 Handle aliases, name, protocol, result, port; local
|
Completed in 107 milliseconds