diff options
Diffstat (limited to 'stdlib/obj.mli')
| -rw-r--r-- | stdlib/obj.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/obj.mli b/stdlib/obj.mli index a37e8a266..9640871a5 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -25,3 +25,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" |