Lines Matching defs:socket
164 fun socket () = GenericSock.socket(inetAF, Socket.SOCK.dgram)
165 fun socket' p = GenericSock.socket'(inetAF, Socket.SOCK.dgram, p)
170 fun socket () = GenericSock.socket(inetAF, Socket.SOCK.stream)
171 fun socket' p = GenericSock.socket'(inetAF, Socket.SOCK.stream, p)
200 val socket : unit -> dgram_sock
201 val socket' : int -> dgram_sock
205 val socket : unit -> 'mode stream_sock
206 val socket' : int -> 'mode stream_sock