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