diff options
Diffstat (limited to 'stdlib/obj.ml')
| -rw-r--r-- | stdlib/obj.ml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/stdlib/obj.ml b/stdlib/obj.ml deleted file mode 100644 index c31e6c3ab0..0000000000 --- a/stdlib/obj.ml +++ /dev/null @@ -1,13 +0,0 @@ -(* Operations on internal representations of values *) - -type t - -external repr : 'a -> t = "%identity" -external magic : 'a -> 'b = "%identity" -external is_block : t -> bool = "obj_is_block" -external tag : t -> int = "%tagof" -external size : t -> int = "%array_length" -external field : t -> int -> t = "%array_unsafe_get" -external set_field : t -> int -> t -> unit = "%array_unsafe_set" -external new_block : int -> int -> t = "obj_block" -external update : t -> t -> unit = "%update" |