type pg_alias
-val empty_map : unit -> string * pg_map * pg_alias
+val empty_map : unit -> pg_map * pg_alias
-val read_map : unit -> string * pg_map * pg_alias
+val read_map : unit -> pg_map * pg_alias
val get_tables : pg_map -> MathQL.path -> pg_tables