suzanne.soy/compatibility
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source 
original commit: aedcaf53f9454f6f3c1e5cdf0df3f52cc0a10a46
This commit is contained in:
Scott Owens 2004-04-17 21:27:50 +00:00
parent 82e05ebdb8
commit fd67bc2f09
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/mzlib/integer-set.ss
View File

@ -420,10 +420,10 @@
(((i int) (j (and/c int (>=/c i)))) . ->r . integer-set?)))
(rename merge union (integer-set? integer-set? . -> . integer-set?))
(split (integer-set? integer-set? . -> . (values integer-set? integer-set? integer-set?)))
(complement (((s integer-set?) (min int?) (max (and/c int? (>=/c min)))) . ->r . integer-set?))
(member? (int? integer-set? . -> . any))
(get-integer (integer-set? . -> . (union false? int?)))
(rename is-foldr foldr ((integer-set? any? . -> . any?) any? integer-set? . -> . any))
(complement (((s integer-set?) (min int) (max (and/c int (>=/c min)))) . ->r . integer-set?))
(member? (int integer-set? . -> . any))
(get-integer (integer-set? . -> . (union false? int)))
(rename is-foldr foldr ((int any? . -> . any?) any? integer-set? . -> . any))
(partition ((listof integer-set?) . -> . (listof integer-set?)))
(card (integer-set? . -> . natural-number?))
(subset? (integer-set? integer-set? . -> . any)))