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