move substitution function to EcCoreSubst

EasyCrypt · Dec 2, 2023 · a3d2c88 · a3d2c88
1 parent 14a397c
commit a3d2c88
Show file tree

Hide file tree

Showing 27 changed files with 86 additions and 1,000 deletions.
diff --git a/src/ecCallbyValue.ml b/src/ecCallbyValue.ml
@@ -309,8 +309,8 @@ and app_red st f1 args =
 
       let body = EcFol.form_of_expr EcFol.mhr body in
       let body =
-        EcFol.Fsubst.subst_tvar
-          (EcTypes.Tvar.init (List.map fst op.EcDecl.op_tparams) tys) body in
+        Fsubst.subst_tvar
+          (Tvar.init (List.map fst op.EcDecl.op_tparams) tys) body in
 
       cbv st subst body (Args.create ty eargs)
     with E.NoCtor ->