diff options
Diffstat (limited to 'stdlib/marshal.mli')
| -rw-r--r-- | stdlib/marshal.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/stdlib/marshal.mli b/stdlib/marshal.mli index 36ae1c9550..b3bfcba800 100644 --- a/stdlib/marshal.mli +++ b/stdlib/marshal.mli @@ -85,8 +85,6 @@ external to_string: 'a -> extern_flags list -> string [Marshal.to_channel]. *) val to_buffer: string -> int -> int -> 'a -> extern_flags list -> int -val to_buffer': - buf:string -> pos:int -> len:int -> 'a -> mode:extern_flags list -> int (* [Marshal.to_buffer buff ofs len v flags] marshals the value [v], storing its byte representation in the string [buff], starting at character number [ofs], and writing at most |