Share the definition of the datatypes in EcAst.ml

EasyCrypt · Nov 25, 2023 · d43887b · d43887b
1 parent b79290f
commit d43887b
Show file tree

Hide file tree

Showing 64 changed files with 2,475 additions and 1,869 deletions.
diff --git a/src/ecAst.ml b/src/ecAst.ml
diff --git a/src/ecAst.mli b/src/ecAst.mli
diff --git a/src/ecCHoare.ml b/src/ecCHoare.ml
@@ -1,6 +1,7 @@
 (* -------------------------------------------------------------------- *)
 (* Function for cost                                                    *)
 open EcUtils
+open EcAst
 open EcTypes
 open EcFol
 open EcEnv

diff --git a/src/ecCallbyValue.ml b/src/ecCallbyValue.ml
@@ -1,6 +1,7 @@
 (* -------------------------------------------------------------------- *)
 open EcUtils
 open EcIdent
+open EcAst
 open EcTypes
 open EcEnv
 open EcFol