checkpoint

comby-tools · Mar 18, 2021 · 3695ffc · 3695ffc
1 parent b60e330
commit 3695ffc
Show file tree

Hide file tree

Showing 5 changed files with 210 additions and 14 deletions.
diff --git a/lib/comby.ml b/lib/comby.ml
@@ -34,6 +34,7 @@ module Rule = struct
   let create = Rule.Alpha.create
   let apply = Rule.Alpha.apply
 end
+type rule = Rule.t
 
 module Pipeline = Pipeline
 module Replacement = Replacement