Searched defs:getByName (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/polyml/basis/
H A DNetProtDB.sml26 val getByName : string -> entry option value
44 fun getByName s = function
H A DNetServDB.sml27 val getByName : string * string option -> entry option value
49 fun getByName(s, NONE) = function
H A DINet6Sock.sml125 fun getByName s = function
H A DINetSock.sml31 val getByName : string -> entry option value
209 fun getByName s = function

Completed in 43 milliseconds