Module Core_kernel__Command.Deprecated
Deprecated should be used only by Deprecated_command. At some point it will go away.
module Spec : sig ... endval summary : t -> Core_kernel__.Import.stringval help_recursive : cmd:Core_kernel__.Import.string -> with_flags:Core_kernel__.Import.bool -> expand_dots:Core_kernel__.Import.bool -> t -> Core_kernel__.Import.string -> (Core_kernel__.Import.string * Core_kernel__.Import.string) Core_kernel__.Import.listval get_flag_names : t -> Core_kernel__.Import.string Core_kernel__.Import.list