module type Gen = sig .. end
sig
end
module T: Core_map_intf.Types
Core_map_intf.Types
include Gen(T).S