sig
  exception Found_anonymous_arguments
  val no_anons : '-> string list -> 'a
end