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