module Univ_map_intf: sig .. end
sig
end
's
module Key: Type_equal.Id
Type_equal.Id
module type S = sig .. end
module type S1 = sig .. end