sig
  val names : string list
  val description : string
  val latex_description : string
  val arguments : string option
  type parameters
  val make_parameters :
    unit ->
    Command.T.parameters * (Arg.key * Arg.spec * Arg.doc) list * Arg.anon_fun
  val run : Command.T.parameters -> unit
end