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