🔥 Remove interfaces as implementations are not mature

Zeta611 · Jun 1, 2024 · effa49b · effa49b
1 parent 8bad53b
commit effa49b
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 162 deletions.
diff --git a/lib/compiler.ml b/lib/compiler.ml
@@ -88,7 +88,6 @@ let compile (env : Env.t) (pred : Pred.t) (exp : Exp.t) : Graph.t * Det_exp.t =
         let fvs = Set.union (Det_exp.fv de1) (Pred.fv pred) in
         if not @@ Set.is_empty (Det_exp.fv de2) then
           raise Not_closed_observation;
-
         let g' =
           {
             vertices = [ v ];

diff --git a/lib/compiler.mli b/lib/compiler.mli
diff --git a/lib/dist.mli b/lib/dist.mli
diff --git a/lib/env.mli b/lib/env.mli
diff --git a/lib/graph.mli b/lib/graph.mli
diff --git a/lib/pred.mli b/lib/pred.mli
diff --git a/lib/program.mli b/lib/program.mli