Make_Storage.Ciphertexts
module Map : sig ... end
type t = C.Ciphertext.t Map.t
val empty : 'a Map.t
val add : 'a -> 'b Map.t -> 'c Map.t
val size : 'a Map.t -> int
val find_opt : Map.key -> 'a Map.t -> 'a option
val mem : Map.key -> 'a Map.t -> bool
val iter : (Map.key -> 'a -> unit) -> 'a Map.t -> unit
val encoding : C.Ciphertext.t Map.t Data_encoding.encoding
val get_from : 'a Map.t -> Map.key -> 'b list