diff options
Diffstat (limited to 'binary-compat/typing/ident.mli')
| -rw-r--r-- | binary-compat/typing/ident.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/binary-compat/typing/ident.mli b/binary-compat/typing/ident.mli index 03e2eee48d..5c22008612 100644 --- a/binary-compat/typing/ident.mli +++ b/binary-compat/typing/ident.mli @@ -57,3 +57,5 @@ val add: t -> 'a -> 'a tbl -> 'a tbl val find_same: t -> 'a tbl -> 'a val find_name: string -> 'a tbl -> 'a val keys: 'a tbl -> t list + +val magic : int -> string -> int -> t |