blob: c31e6c3ab0ab838ade95151b5ce6e033fbff921c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(* 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"
|
