1. folded maction are now selectable

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

diff --git a/helm/ocaml/cic_transformations/content_expressions.mli b/helm/ocaml/cic_transformations/content_expressions.mli
index 5eb2e503cda58bd600b689e10add6b312a77ea4e..e945d96d2e32281373be989bebbd87b3c78737e8 100644 (file)
--- a/helm/ocaml/cic_transformations/content_expressions.mli
+++ b/helm/ocaml/cic_transformations/content_expressions.mli
@@ -37,7 +37,7 @@ type
     Symbol of string option * string * (subst option) * string option         
                                      (* h:xref, name, subst, definitionURL *)
   | LocalVar of string option * string        (* h:xref, name *)
-  | Meta of string option * string            (* h:xref, name *)
+  | Meta of string option * string * meta_subst (* h:xref, name, meta_subst *)
   | Num of string option * string             (* h:xref, value *)
   | Appl of string option * cexpr list        (* h:xref, args *)
   | Binder of string option *string * decl * cexpr   
@@ -53,6 +53,8 @@ and
   def = string * cexpr               (* name, body *)
 and
   subst = (UriManager.uri * cexpr) list
+and
+  meta_subst = cexpr option list
 ;;