diff options
author | Jedidiah Barber <contact@jedbarber.id.au> | 2022-10-30 03:42:11 +1300 |
---|---|---|
committer | Jedidiah Barber <contact@jedbarber.id.au> | 2022-10-30 03:42:11 +1300 |
commit | 95ebd2d6acfa744c5e93287cc6385f4f1359376e (patch) | |
tree | 87cea8951f3ef00b9ad53679c7fe70c208b0ec62 /src/util.mli | |
parent | 3f290e0d6c3ef1435253095de2cf53016855840e (diff) |
wallgen and wallsolve working, visualwall partially done, license added
Diffstat (limited to 'src/util.mli')
-rw-r--r-- | src/util.mli | 27 |
1 files changed, 27 insertions, 0 deletions
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 + + |