let library = false, DisambiguateTypes.Environment.empty, None in
let multi_aliases = false, DisambiguateTypes.Environment.empty, universe in
let mono_aliases = true, aliases, Some DisambiguateTypes.Environment.empty in
let library = false, DisambiguateTypes.Environment.empty, None in
let multi_aliases = false, DisambiguateTypes.Environment.empty, universe in
let mono_aliases = true, aliases, Some DisambiguateTypes.Environment.empty in