-
-class type disambiguator =
- object
- method parserr: parserr
- method setParserr: parserr -> unit
-
- method disambiguateTerm:
- context:Cic.context -> metasenv:Cic.metasenv ->
- ?env:DisambiguateTypes.environment ->
- char Stream.t ->
- (DisambiguateTypes.environment * Cic.metasenv * Cic.term) list
- method disambiguateTermAst:
- context:Cic.context -> metasenv:Cic.metasenv ->
- ?env:DisambiguateTypes.environment ->
- DisambiguateTypes.term ->
- (DisambiguateTypes.environment * Cic.metasenv * Cic.term) list
- end
-
-(** {2 shorthands} *)
-
-type namer = ProofEngineTypes.mk_fresh_name_type
-
-type choose_uris_callback =
- selection_mode:Gtk.Tags.selection_mode ->
- ?title:string -> ?msg:string -> ?nonvars_button:bool ->
- string list ->
- string list
-
-type choose_interp_callback = (string * string) list list -> int list
-