Storage
module Checked_data : sig ... end
module type With_checksum_intf = sig ... end
module Memory : With_checksum_intf with type location = string
module Disk : With_checksum_intf with type location = string
module List : sig ... end