Module Option


module Option: sig .. end
This module manages global options and performs command-line processing.

exception InternalError
val value_of_key : 'a -> ('a * 'b) list -> 'b
val key_of_value : 'a -> ('b * 'a) list -> 'b
val arg_spec_of_symbols : 'a ->
('b * string) list -> 'b ref -> string -> 'a * Arg.spec * string
val arg_spec_of_integer : string -> int -> int ref -> string -> string * Arg.spec * string
module ScmWrapper: sig .. end
module StaticAnalyzer: sig .. end
module Control: sig .. end
module Cegar: sig .. end
module LazyAbstraction: sig .. end
module APInv: sig .. end
module Main: sig .. end
module Logging: sig .. end
module Miscellaneous: sig .. end
val usage_msg : string
val control_arg_spec : unit -> (string * Arg.spec * string) list
val verify_arg_spec : unit -> (string * Arg.spec * string) list
val initialize : (Arg.key * Arg.spec * Arg.doc) list -> unit