···

       
2
       
 
       


     

       
3
       
 
       
interface Directory {

     

       
4
       
 
       
  # Represents a directory in the filesystem

     

       
5
       
-
       
  

     

       
6
       
 
       
  list @0 () -> (entries :List(Entry));

     

       
7
       
 
       
  # Lists all entries in the directory

     

       
8
       
 
       


     
···

       
23
       
 
       


     

       
24
       
 
       
interface File {

     

       
25
       
 
       
  # Represents a file in the filesystem

     

       
26
       
-
       
  

     

       
27
       
 
       
  size @0 () -> (size :UInt64);

     

       
28
       
 
       
  # Returns the size of the file in bytes

     

       
29
       
 
       


     
···

       
31
       
 
       
  # Reads data from the file, optionally starting at offset and reading up to len bytes

     

       
32
       
 
       
  # Default is to read the entire file

     

       
33
       
 
       
}

     

       
34
       
-
       


     

···

       
2
       
 
       


     

       
3
       
 
       
interface Directory {

     

       
4
       
 
       
  # Represents a directory in the filesystem

     

       
5
       
+
       


     

       
6
       
 
       
  list @0 () -> (entries :List(Entry));

     

       
7
       
 
       
  # Lists all entries in the directory

     

       
8
       
 
       


     
···

       
23
       
 
       


     

       
24
       
 
       
interface File {

     

       
25
       
 
       
  # Represents a file in the filesystem

     

       
26
       
+
       


     

       
27
       
 
       
  size @0 () -> (size :UInt64);

     

       
28
       
 
       
  # Returns the size of the file in bytes

     

       
29
       
 
       


     
···

       
31
       
 
       
  # Reads data from the file, optionally starting at offset and reading up to len bytes

     

       
32
       
 
       
  # Default is to read the entire file

     

       
33
       
 
       
}

     

       
0