Module Bcfgq.Bcfg_query

module Fmt : sig ... end
type pattern =
  1. | PWord of string
  2. | PAny
  3. | PEval of expr
  4. | PNot of pattern
  5. | PAnd of pattern * pattern
  6. | POr of pattern * pattern
and expr =
  1. | EGet_parameter of expr * string
  2. | EGet_subdirective of expr * expr
  3. | EDirective of expr * pattern
  4. | EParameter of pattern * expr
  5. | EChild of pattern * expr
  6. | ENot_parameter of pattern * expr
  7. | ENot_child of pattern * expr
  8. | EWord of string
  9. | EPattern of pattern
val is_safe_char : char -> bool
val is_safe : string -> bool
val pp_word : Format.formatter -> string -> unit
val pp_pattern : Format.formatter -> pattern -> unit
val pp_pattern_atom : Format.formatter -> pattern -> unit
val pp_expr : Format.formatter -> expr -> unit