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