Brassaia_eio.Content_addressable
module type S = Content_addressable_intf.S
module type Maker = Content_addressable_intf.Maker
module Make
(Append_only_maker : Append_only.Maker)
(Hash : Hash.S)
(Value : Type.S) :
sig ... end
module Check_closed (M : Maker) : Maker