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