Core.Std.Set.S_binable