diff options
author | JJ | 2023-12-01 07:31:34 +0000 |
---|---|---|
committer | JJ | 2023-12-01 07:31:34 +0000 |
commit | 0e8d6bbf3e55e7506e1e92b5292833b1f3907d06 (patch) | |
tree | aa48059a011d58a1efdd46f5b41427851ba7218d /util/main.ml | |
parent | dad35e2ee87ede7f19490b5abaffbf3aaf2f12e6 (diff) |
Diffstat (limited to 'util/main.ml')
-rw-r--r-- | util/main.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/util/main.ml b/util/main.ml new file mode 100644 index 0000000..d50e352 --- /dev/null +++ b/util/main.ml @@ -0,0 +1,4 @@ +let input = + CCIO.(with_in filename read_lines_l) + |> List.map parse_line + |> Array.of_list |