Module Option.StaticAnalyzer


module StaticAnalyzer: sig .. end


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