# HG changeset patch # User Kim Alvefur # Date 1732980059 -3600 # Node ID fa9d8c82dc9e0539ed183373e39319fdcb7c55b3 # Parent 4f62c6118fa9bd3a2803df83a58f54ac6bf30a59 util.set: Please Teal type checker diff -r 4f62c6118fa9 -r fa9d8c82dc9e teal-src/prosody/util/set.d.tl --- a/teal-src/prosody/util/set.d.tl Sat Nov 30 16:20:39 2024 +0100 +++ b/teal-src/prosody/util/set.d.tl Sat Nov 30 16:20:59 2024 +0100 @@ -1,22 +1,22 @@ local record lib record Set - add : function (Set, T) - contains : function (Set, T) : boolean - contains_set : function (Set, Set) : boolean - items : function (Set) : function (Set, T) : T - remove : function (Set, T) - add_list : function (Set, { T }) - include : function (Set, Set) - exclude : function (Set, Set) - empty : function (Set) : boolean + add : function (Set, T) + contains : function (Set, T) : boolean + contains_set : function (Set, Set) : boolean + items : function (Set) : function (Set, T) : T + remove : function (Set, T) + add_list : function (Set, { T }) + include : function (Set, Set) + exclude : function (Set, Set) + empty : function (Set) : boolean end new : function ({ T }) : Set is_set : function (any) : boolean - union : function (Set, Set) : Set - difference : function (Set, Set) : Set - intersection : function (Set, Set) : Set - xor : function (Set, Set) : Set + union : function (Set, Set) : Set + difference : function (Set, Set) : Set + intersection : function (Set, Set) : Set + xor : function (Set, Set) : Set end return lib