module IntLabeled: sig .. end
sig
end
module E: sig .. end
module V: sig .. end
include struct ... end