From 95ebd2d6acfa744c5e93287cc6385f4f1359376e Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sun, 30 Oct 2022 03:42:11 +1300 Subject: wallgen and wallsolve working, visualwall partially done, license added --- src/util.mli | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 src/util.mli (limited to 'src/util.mli') diff --git a/src/util.mli b/src/util.mli new file mode 100644 index 0000000..b1821a4 --- /dev/null +++ b/src/util.mli @@ -0,0 +1,27 @@ + + +(* Programmed by Jedidiah Barber *) +(* Licensed under the Sunset License v1.0 *) + + +exception Not_an_integer of string + + + +val ( @@ ) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b + +val ( |> ) : ('a -> 'b) -> 'a -> 'b + + + +val call_with_open_input_file : filename:string -> func:(in_channel -> 'a) -> 'a + +val call_with_open_output_file : filename:string -> func:(out_channel -> 'a) -> 'a + + + +val read_integer_list : string -> Z.t array + +val read_sequence_file : string -> Z.t array + + -- cgit