method wrap_exn : 'a. (unit -> 'a) -> 'a option
end
+type choose_uris_callback =
+ selection_mode:[`MULTIPLE|`SINGLE] ->
+ ?title:string -> ?msg:string -> ?nonvars_button:bool ->
+ string list ->
+ string list
+type choose_interp_callback = (string * string) list list -> int list
+
class type disambiguator =
object
- method parserr: parserr
- method setParserr: parserr -> unit
-
method env: DisambiguateTypes.environment
method setEnv: DisambiguateTypes.environment -> unit
+ method chooseUris: choose_uris_callback
+ method setChooseUris: choose_uris_callback -> unit
+
+ method chooseInterp: choose_interp_callback
+ method setChooseInterp: choose_interp_callback -> unit
+
+ method parserr: parserr
+
method disambiguateTerm:
?context:Cic.context -> ?metasenv:Cic.metasenv ->
?env:DisambiguateTypes.environment ->
type namer = ProofEngineTypes.mk_fresh_name_type
-type choose_uris_callback =
- selection_mode:[`MULTIPLE|`SINGLE] ->
- ?title:string -> ?msg:string -> ?nonvars_button:bool ->
- string list ->
- string list
-type choose_interp_callback = (string * string) list list -> int list
-
let mono_uris_callback ~selection_mode ?title ?msg ?nonvars_button _ =
raise (Failure "ambiguous input")
let mono_interp_callback _ = raise (Failure "ambiguous input")