Module Core_extended.Deprecated_command.Helpers

exception Found_anonymous_arguments
val no_anons : 'a ‑> string list ‑> 'a