1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
let to_string ~magic v = magic ^ "\n" ^ Marshal.to_string v []
let of_string ~magic s =
let head = magic ^ "\n" in
let n = String.length head in
if String.length s < n + Marshal.header_size || String.sub s 0 n <> head then None
else
let b = Bytes.unsafe_of_string s in
if Marshal.total_size b n > String.length s - n then None
else try Some (Marshal.from_bytes b n) with _ -> None