sig
  val print_array :
    Pervasives.out_channel -> ('a -> string) -> 'a array -> unit
end