(Cic.id, CicNotationPt.sort_kind) Hashtbl.t -> (* id -> sort *)
Cic.annterm -> (* acic *)
CicNotationPt.term (* ast *)
- * (Cic.id, string) Hashtbl.t (* id -> uri *)
+ * (Cic.id, UriManager.uri) Hashtbl.t (* id -> uri *)
(** level 2 -> level 1 *)
val pp_ast: CicNotationPt.term -> CicNotationPt.term
(** @raise Pretty_printer_not_found *)
val remove_pretty_printer: pretty_printer_id -> unit
+(** {2 Interpretations toggling} *)
+
+val get_all_interpretations: unit -> (interpretation_id * string) list
+val get_active_interpretations: unit -> interpretation_id list
+val set_active_interpretations: interpretation_id list -> unit
+