sig val parse_aadl : int -> string -> Aadl_ast.package list end