diff options
Diffstat (limited to 'stdlib/obj.ml')
| -rw-r--r-- | stdlib/obj.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/obj.ml b/stdlib/obj.ml index af7ac7b7d..8129fa6b9 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -23,3 +23,5 @@ external size : t -> int = "%obj_size" external field : t -> int -> t = "%obj_field" external set_field : t -> int -> t -> unit = "%obj_set_field" external new_block : int -> int -> t = "obj_block" +external marshal : t -> string = "output_value_to_string" +external unmarshal : string -> int -> t * int = "input_value_from_string" |