Module type Whyconf.Command

module type Command = functor (* : sig

end) -> sig .. end