module type Callbacks =
sig
- val output_html : ?append_NL:bool -> Ui_logger.html_msg -> unit
val interactive_user_uri_choice :
selection_mode:[`SINGLE | `MULTIPLE] ->
?ok:string ->
id_to_uris:domain_and_interpretation ->
domain_and_interpretation * Cic.metasenv * Cic.term
end
+
+module EnvironmentP3 :
+ sig
+ type t = domain_and_interpretation
+ val empty : string
+ val to_string : t -> string
+ val of_string : string -> t
+ end