sig
val disambiguate_term :
dbd:Mysql.dbd ->
- Cic.context ->
- Cic.metasenv ->
- string ->
- EnvironmentP3.t -> (* previous interpretation status *)
+ context:Cic.context ->
+ metasenv:Cic.metasenv ->
?initial_ugraph:CicUniv.universe_graph ->
+ aliases:EnvironmentP3.t -> (* previous interpretation status *)
+ string ->
(EnvironmentP3.t * (* new interpretation status *)
Cic.metasenv * (* new metasenv *)
Cic.term *