ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / cicNotationFwd.mli

diff --git a/helm/ocaml/cic_notation/cicNotationFwd.mli b/helm/ocaml/cic_notation/cicNotationFwd.mli
index 0cb0a8669454a7658597a6564e7ff3929d3a61c7..4a5d89f98095c299a05fe9d7ed6c508dbe5ee1a8 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationFwd.mli
+++ b/helm/ocaml/cic_notation/cicNotationFwd.mli
@@ -28,3 +28,9 @@ val instantiate_level2:
   CicNotationEnv.t -> CicNotationPt.term ->
     CicNotationPt.term
 
+  (** @param env environment from argument_pattern to cic terms
+   * @param pat cic_appl_pattern *)
+val instantiate_appl_pattern:
+  (string * Cic.term) list -> CicNotationPt.cic_appl_pattern ->
+    Cic.term
+