module type External = sig .. end
sig
end
include Abstract.Location.Internal
include Abstract.Interface