Searched defs:receive (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/examples/RL_Environment/
H A DRL_Socket.sig3 val receive : ('a, Socket.active Socket.stream) Socket.sock -> string value
H A DRL_Socket.sml24 fun receive(sock) = function

Completed in 31 milliseconds