module Location: sig .. end
sig
end
include Structure.Shape
module type Internal = sig .. end
module type External = sig .. end