src/Pure/ML-Systems/proper_int.ML

 end;
 
 
 (* Sockets *)
 
-structure Socket =
-struct
-  open Socket;
-  fun recvVec (a, b) = Socket.recvVec (a, dest_int b);
-  fun sendVec a = mk_int (Socket.sendVec a);
-end;
-
 structure INetSock =
 struct
   open INetSock;
   fun toAddr (a, b) = INetSock.toAddr (a, dest_int b);
   fun fromAddr adr = let val (a, b) = INetSock.fromAddr adr in (a, mk_int b) end;