Module Meta_file.Types

type precondition = string * bool
type preconditions = precondition list
type variable = {
var_name : string;
mutable var_assigns : (preconditions * string) list;
mutable var_additions : (preconditions * string) list;
}
type t = {
p_parent : t option;
mutable p_packages : (string * t) list;
mutable p_variables : variable EzCompat.StringMap.t;
}