module Map: sig .. end
sig
end
module type M = sig .. end
module type IM = sig .. end
module type PM = sig .. end
module Imperative: sig .. end
module Persistent: sig .. end