Module type Map_intf.Gen


module type Gen = sig .. end

module T: Map_intf.Types 
include Gen(T).S