Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type pkg_definition = {
def_var : string;
def_flav : flavour;
def_preds : formal_pred list;
def_value : string;
}
val parse : Pervasives.in_channel -> pkg_expr
val parse2 : Pervasives.in_channel -> pkg_expr
val parse2_lexing : Lexing.lexbuf -> pkg_expr
val parse_lexing : Lexing.lexbuf -> pkg_expr
val print : Pervasives.out_channel -> pkg_expr -> unit
val lookup : string -> string list -> pkg_definition list -> string
val predicate_exists : string -> pkg_definition list -> bool