method echo_error : string -> unit
method clear : unit -> unit
method wrap_exn : 'a. (unit -> 'a) -> 'a option
+ method choose_uri : string list -> string
+ method show : ?msg:string -> unit -> unit
end
type choose_uris_callback =
type term_source =
[ `Ast of DisambiguateTypes.term
- | `Cic of Cic.term
+ | `Cic of Cic.term * Cic.metasenv
| `String of string
]