Module Fl_metascanner

type formal_pred = [
  1. | `NegPred of string
  2. | `Pred of string
]
type flavour = [
  1. | `Appendix
  2. | `BaseDef
]
type pkg_definition = {
  1. def_var : string;
  2. def_flav : flavour;
  3. def_preds : formal_pred list;
  4. def_value : string;
}
type pkg_expr = {
  1. pkg_defs : pkg_definition list;
  2. pkg_children : (string * pkg_expr) list;
}
exception Error of string
val parse : in_channel -> pkg_expr
val parse_lexing : Lexing.lexbuf -> pkg_expr
val print_def : out_channel -> pkg_definition -> unit
val print : out_channel -> pkg_expr -> unit
val lookup : string -> string list -> pkg_definition list -> string
val lookup_2 : string -> string list -> pkg_definition list -> string * formal_pred list
val predicate_exists : string -> pkg_definition list -> bool