Brassaia_eio.Read_only_intf
module type S = sig ... end
module type Maker = functor (Key : Type.S) -> functor (Value : Type.S) -> sig ... end
module type Sigs = sig ... end