1 files changed, 10 insertions, 0 deletions
diff --git a/stdlib/obj.ml b/stdlib/obj.ml
index 7d01cc766..b6fd215b9 100644
--- a/stdlib/obj.ml
+++ b/stdlib/obj.ml
@@ -31,3 +31,13 @@ let marshal (obj: t) =
   Marshal.to_string obj []
 let unmarshal str pos =
   (Marshal.from_string str pos, pos + Marshal.total_size str pos)
+
+let no_scan_tag = 251
+let closure_tag = 250
+let infix_tag = 249
+let object_tag = 248
+let abstract_tag = 251
+let string_tag = 252
+let double_tag = 253
+let double_array_tag = 254
+let final_tag = 255