val get_active_interpretations: unit -> interpretation_id list
val set_active_interpretations: interpretation_id list -> unit
- (** {2 acic -> content} *)
-
-val ast_of_acic:
- output_type:[`Pattern|`Term] ->
- (Cic.id, CicNotationPt.sort_kind) Hashtbl.t -> (* id -> sort *)
- Cic.annterm -> (* acic *)
- CicNotationPt.term (* ast *)
- * (Cic.id, UriManager.uri) Hashtbl.t (* id -> uri *)
-
(** {2 content -> acic} *)
(** @param env environment from argument_pattern to cic terms