module Assoc: sig .. end
sig
end
module type ASSOC = sig .. end
module A: sig .. end
module H: sig .. end