* http://helm.cs.unibo.it/
*)
-open Disambiguate_types
+open DisambiguateTypes
(** {2 Choice registration interface} *)
MQIConn.handle ->
Cic.context ->
Cic.metasenv ->
- Ast.term ->
+ CicTextualParser2Ast.term ->
aliases:environment -> (* previous interpretation status *)
environment * (* new interpretation status *)
Cic.metasenv * (* new metasenv *)