diff options
| author | DJ O'Leary <dijitol@proton.me> | 2025-12-02 00:09:07 +0100 |
|---|---|---|
| committer | DJ O'Leary <dijitol@proton.me> | 2025-12-02 00:09:07 +0100 |
| commit | 4e1aa9b6b427afb90db678f5b16171b1988e9365 (patch) | |
| tree | 3c714a0e9f37d61a0b47ef5a1c10b32d0f5359ef /2025/ocaml/lib/infrastructure/file_reader.mli | |
| parent | ca7631ff2fdc6d783f1ae8043de95dcd1b6b7d08 (diff) | |
refactor(file): rename File_reader module to File
Diffstat (limited to '2025/ocaml/lib/infrastructure/file_reader.mli')
| -rw-r--r-- | 2025/ocaml/lib/infrastructure/file_reader.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/2025/ocaml/lib/infrastructure/file_reader.mli b/2025/ocaml/lib/infrastructure/file_reader.mli deleted file mode 100644 index bb40577..0000000 --- a/2025/ocaml/lib/infrastructure/file_reader.mli +++ /dev/null @@ -1,3 +0,0 @@ -val read_file : string -> string -(** [read_file filename] is the contents of [filename] as a string. - The empty string is returned if [filename] does not exist. *) |