Searched defs:receive (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/examples/RL_Environment/ | ||
H A D | RL_Socket.sig | 3 val receive : ('a, Socket.active Socket.stream) Socket.sock -> string value |
H A D | RL_Socket.sml | 24 fun receive(sock) = function |
Completed in 31 milliseconds