* http://helm.cs.unibo.it/
*)
+
(** {2 Persistant state handling} *)
type interpretation_id
(** {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 *)