-(** Note: notation is also loaded, but it cannot be undone since the
- notation_ids part of the status is thrown away;
- so far this function is useful only in Whelp *)
-val parse_environment:
- include_paths:string list ->
- string ->
- LexiconAst.alias_spec DisambiguateTypes.Environment.t *
- LexiconAst.alias_spec list DisambiguateTypes.Environment.t
-
-