Merge pull request #851 from paulmure/local-var-id

fix(engine): expose type of local_ident.id
cryspen · Oct 7, 2024 · 5d259aa · 5d259aa
2 parents a6c36de + 965efa2
commit 5d259aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/engine/lib/local_ident.mli b/engine/lib/local_ident.mli
@@ -9,7 +9,7 @@ module T : sig
     | SideEffectHoistVar  (** A variable generated by `Side_effect_utils` *)
   [@@deriving show, yojson, hash, compare, sexp, eq]
 
-  type id [@@deriving show, yojson, hash, compare, sexp, eq]
+  type id = kind * int [@@deriving show, yojson, hash, compare, sexp, eq]
 
   val mk_id : kind -> int -> id