Module Option.StaticAnalyzer
module StaticAnalyzer:sig..end
type forward_backward_type =
| |
Forward |
| |
Backward |
val forward_backward_names : (forward_backward_type * string) listval direction_opt : forward_backward_type refval direction : unit -> forward_backward_typeval arg_spec : unit -> (string * Arg.spec * string) list