Searched defs:socket (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/polyml/basis/
H A DGenericSock.sml23 val socket : Socket.AF.addr_family * Socket.SOCK.sock_type value
61 fun socket(af, st) = socket'(af, st, 0) function
H A DUnixSock.sml32 val socket : unit -> 'mode stream_sock value
37 val socket : unit -> dgram_sock value
60 fun socket() = GenericSock.socket(unixAF, Socket.SOCK.stream) function
65 fun socket() = GenericSock.socket(unixAF, Socket.SOCK.dgram) function
H A DINet6Sock.sml164 fun socket () = GenericSock.socket(inetAF, Socket.SOCK.dgram) function
170 fun socket () = GenericSock.socket(inetAF, Socket.SOCK.stream) function
200 val socket : unit -> dgram_sock value
205 val socket : unit -> 'mode stream_sock value
[all...]
H A DINetSock.sml248 fun socket () = GenericSock.socket(inetAF, Socket.SOCK.dgram) function
254 fun socket () = GenericSock.socket(inetAF, Socket.SOCK.stream) function
289 val socket : unit -> dgram_sock value
294 val socket : unit -> 'mode stream_sock value
[all...]
H A DTopLevelPolyML.sml494 val socket = INetSock.TCP.socket(): Socket.active INetSock.stream_sock value
H A DOS.sml124 val socket : iodesc_kind value
947 val socket : iodesc_kind = 5 value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dnetwork.cpp569 SOCKET socket; member in class:WinSocket
[all...]

Completed in 113 milliseconds