refactor: remove [Automata.Marks] from interface

Signed-off-by: Rudi Grinberg <[email protected]>
ocaml · Apr 13, 2024 · 45d4cf8 · 45d4cf8
1 parent de7057c
commit 45d4cf8
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/lib/automata.mli b/lib/automata.mli
@@ -56,11 +56,6 @@ val rename : ids -> expr -> expr
 (* States of the automata *)
 
 type idx = int
-module Marks : sig
-  type t =
-    { marks: (mark * idx) list
-    ; pmarks: Pmark.Set.t }
-end
 
 module E : sig
   type t