On a quest for agency in Bellairs
anil.recoil.org
1
2type dir
3type file
4
5type entry = {
6 name: string;
7 file: file;
8}
9
10val root : dir
11val list : dir -> entry list
12
13val create : dir -> string -> file
14val open_ : dir -> string -> file
15val delete : dir -> string -> unit
16
17val size : file -> int64
18val read : file -> ?off:int64 -> ?len:int64 -> string