sig
  val verbose : bool Pervasives.ref
  val timer : unit -> float
  val fold_n : ('-> int -> 'a) -> int -> '-> 'a
  val list_find_opt : ('-> '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 -> '-> 'b) ->
    Pervasives.out_channel -> 'a list -> unit
  val print_list : (Pervasives.out_channel -> '-> 'b) -> 'a list -> unit
  val dump_list : (Pervasives.out_channel -> '-> 'b) -> 'a list -> unit
end