X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fbinaries%2Fxoa%2Fast.ml;h=42b4034c12174aa1553b9e42c0fc992b770f76e1;hb=9aa2722ff4aa7868ffd14e5a820cd6dc79e2c8a6;hp=4de0c10579e07b5c66947796eeef8a23983f3325;hpb=4de2411d2cecf21630f6675f58e64f8ec6de9b60;p=helm.git

diff --git a/matita/components/binaries/xoa/ast.ml b/matita/components/binaries/xoa/ast.ml
index 4de0c1057..42b4034c1 100644
--- a/matita/components/binaries/xoa/ast.ml
+++ b/matita/components/binaries/xoa/ast.ml
@@ -15,7 +15,10 @@ type subarity = int
 
 type directive = Exists of arity * subarity
                | Or of arity
+               | And of arity
 
 let mk_exists c v = Exists (c, v)
 
-let mk_or c = Or c 
+let mk_or c = Or c
+
+let mk_and c = And c