package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type spec =
  1. | ClassPath of string -> unit
  2. | Path of string -> unit
  3. | ClassFiles of string list -> unit
  4. | ClassFile of string -> unit
  5. | Choice of string list * (string -> unit) * string
  6. | String of (string -> unit) * string option
  7. | Boolean of (bool -> unit) * bool option
  8. | NotPlugin of Arg.spec
type key = string
type name = string
type doc = string
type usage_msg = string
type analysis = string * string
type plugin_output =
  1. | PluginOutput of string * (string -> unit)
val parse : analysis -> (key * name * spec * doc) list -> plugin_output -> usage_msg -> unit
val transform2arg : spec -> Arg.spec