From 4e1aa9b6b427afb90db678f5b16171b1988e9365 Mon Sep 17 00:00:00 2001 From: DJ O'Leary Date: Tue, 2 Dec 2025 00:09:07 +0100 Subject: refactor(file): rename File_reader module to File --- 2025/ocaml/lib/infrastructure/file_reader.mli | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 2025/ocaml/lib/infrastructure/file_reader.mli (limited to '2025/ocaml/lib/infrastructure/file_reader.mli') 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. *) -- cgit v1.2.3