Module type Base__Set_intf.Set.Compare_m