src/Pure/ML-Systems/proper_int.ML

   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;
 end;
 
+
+(* OS.FileSys *)
+
+structure OS =
+struct
+  open OS;
+  structure FileSys =
+  struct
+    open FileSys;
+    fun fileSize a = mk_int (FileSys.fileSize a);
+  end;
+end;