blob: b1821a4e4de04c7d2871e2eef8a88e2f912f9c67 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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
|
