- metasenv:Cic.metasenv -> Cic.metasenv * Cic.term
- method environment : DisambiguatingParser.Environment.t ref
+ metasenv:Cic.metasenv -> Cic.metasenv * Cic.term * CicUniv.universe_graph
+ method environment : DisambiguatingParser.EnvironmentP3.t ref