module XHTML: sig .. end
sig
end
module type T = sig .. end
module type T_01_01 = T
T
module type T_01_00 = sig .. end
module M: T
module M_01_01: T_01_01
T_01_01
module M_01_00: T_01_00
T_01_00