some restructuring

nyu-acsys · Nov 17, 2024 · 3ea1323 · 3ea1323
1 parent ed2d8b0
commit 3ea1323
Show file tree

Hide file tree

Showing 3 changed files with 773 additions and 0 deletions.
diff --git a/lib/ast/.#rewriter.ml b/lib/ast/.#rewriter.ml
@@ -0,0 +1 @@
+wies@tarski.300253:1731197886
diff --git a/lib/ast/ast.ml b/lib/ast/ast.ml
@@ -9,3 +9,7 @@ end
 module Rewriter = struct
   include Rewriter
 end
+
+module ProgUtils = struct
+  include ProgUtils
+end