Brassaia_eio.Append_only_intf
module type S = sig ... end
module Append_only_is_a_read_only (X : S) : Read_only.S
module type Maker = functor (K : Type.S) -> functor (V : Type.S) -> sig ... end
module type Sigs = sig ... end