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