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 ->
?enable_button_for_non_vars:bool ->
title:string -> msg:string -> id:string -> string list -> string list
val interactive_interpretation_choice :
- (string * string) list list -> int
+ (string * string) list list -> int list
val input_or_locate_uri : title:string -> UriManager.uri
end
CicTextualParser0.interpretation_domain_item list ->
(CicTextualParser0.interpretation -> Cic.metasenv * Cic.term) ->
id_to_uris:domain_and_interpretation ->
- domain_and_interpretation * Cic.metasenv * Cic.term
+ (domain_and_interpretation * Cic.metasenv * Cic.term) list
end
+
+module EnvironmentP3 :
+ sig
+ type t = domain_and_interpretation
+ val empty : string
+ val to_string : t -> string
+ val of_string : string -> t
+ end