moved here CicAst and pretty printer

[helm.git] / helm / ocaml / cic_transformations / contentTable.mli

diff --git a/helm/ocaml/cic_transformations/contentTable.mli b/helm/ocaml/cic_transformations/contentTable.mli
new file mode 100644 (file)
index 0000000..bce8779
--- /dev/null
+++ b/helm/ocaml/cic_transformations/contentTable.mli
@@ -0,0 +1,6 @@
+
+val lookup_symbol:
+  string ->
+   (Cic.id -> Cic.id -> Cic.annterm list -> (Cic.annterm -> CicAst.term) ->
+     CicAst.term)
+