Storage.Checked_data
module Stable : sig ... end
type 'a t = 'a Stable.Latest.t = {
checksum : Core_kernel.Md5.t;
data : 'a;
}
val md5 : 'a Core_kernel.Binable.m -> 'a0 -> Core_kernel.Md5.t
val wrap : 'a Core_kernel.Binable.m -> 'b -> string t
val valid : string t -> bool