module Util: sig
.. end
val verbose : bool Pervasives.ref
val timer : unit -> float
val fold_n : ('a -> int -> 'a) -> int -> 'a -> 'a
val list_find_opt : ('a -> 'b option) -> 'a list -> 'b option
val int64_incr : Int64.t Pervasives.ref -> unit
val output_int : Pervasives.out_channel -> int -> unit
val output_list : (Pervasives.out_channel -> 'a -> 'b) ->
Pervasives.out_channel -> 'a list -> unit
val print_list : (Pervasives.out_channel -> 'a -> 'b) -> 'a list -> unit
val dump_list : (Pervasives.out_channel -> 'a -> 'b) -> 'a list -> unit