package tiny_appkits
Source file Saved.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21(* Claude Code * * Copyright (C) 2026 Yoann Padioleau * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Library General Public License * (LGPL) as published by the Free Software Foundation; either version * 2 of the License, or (at your option) any later version. *) 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 (* all of the data, as Marshal's own header counts it *) if Marshal.total_size b n > String.length s - n then None else try Some (Marshal.from_bytes b n) with _ -> None