sig
type forward_backward_type = Forward | Backward
val forward_backward_names :
(Option.StaticAnalyzer.forward_backward_type * string) list
val direction_opt :
Option.StaticAnalyzer.forward_backward_type Pervasives.ref
val direction : unit -> Option.StaticAnalyzer.forward_backward_type
val arg_spec : unit -> (string * Arg.spec * string) list
end