parsing_cocci/get_constants2.mli

   1 type combine =
   2     And of combine list | Or of combine list | Elem of string | False | True
   3
   4 val get_constants :
   5     Ast_cocci.rule list ->
   6       (((Ast_cocci.meta_name list) list) list) (*negated pos vars*) ->
   7           (string list option (* grep result *) *
   8              string list option (* non-grep result, if any *) *
   9              combine option (* raw non-grep result, if any *))