module Dynamic: sig .. end
sig
end
module type Common = sig .. end
module Bool: sig .. end
module Int: sig .. end
module String: Common with type t = string
Common
with type t = string
module StringSet: sig .. end