type formal_pred = [ `NegPred of string | `Pred of string ]
type flavour = [ `Appendix | `BaseDef ]
type pkg_definition =
  Fl_metascanner.pkg_definition = {
  def_var : string;
  def_flav : flavour;
  def_preds : formal_pred list;
  def_value : string;
}
type pkg_expr =
  Fl_metascanner.pkg_expr = {
  pkg_defs : pkg_definition list;
  pkg_children : (string * pkg_expr) list;
}
val parse : in_channel -> pkg_expr
val print : out_channel -> pkg_expr -> unit
val lookup : string -> string list -> pkg_definition list -> string