sig
  val list_to_string :
    ('-> string) -> string -> string -> string -> 'a list -> string
end