Skip to content

Commit 562eb7b

Browse files
authored
flambda-backend: Flambda 2 changes for DWARF variables (#1678)
1 parent f1352ed commit 562eb7b

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

typing/ident.mli

+1
Original file line numberDiff line numberDiff line change
@@ -57,6 +57,7 @@ val is_global_or_predef: t -> bool
5757
val is_predef: t -> bool
5858
val is_instance: t -> bool
5959

60+
val stamp: t -> int
6061
val scope: t -> int
6162

6263
val lowest_scope : int

0 commit comments

Comments
 (0)