metasenv:Cic.metasenv -> Cic.metasenv * Cic.term
method reset : unit
method set_term : string -> unit
- method environment : DisambiguatingParser.Environment.t ref
+ method environment : DisambiguatingParser.EnvironmentP3.t ref
end
-module Make (C : Disambiguate_types.Callbacks) :
+module Make (C : DisambiguateTypes.Callbacks) :
sig
val term_editor :
MQIConn.handle ->