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

*** empty log message ***

Browse Source 
original commit: 5c256671397865fcdae77cb7e6eeb8699a6398e6
This commit is contained in:
Scott Owens 2004-04-18 21:10:11 +00:00
parent aeab05d78e
commit 53da5df3ac
1 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -414,21 +414,21 @@
(subset?-helper (integer-set-contents s1) (integer-set-contents s1)))
(define int (flat-named-contract "exact-integer" int?))
(provide/contract ;(struct integer-set ((contents (flat-named-contract "integer-set-list" well-formed-set?))))
#;(make-range (case-> (-> integer-set?)
(provide/contract (struct integer-set ((contents (flat-named-contract "integer-set-list" well-formed-set?))))
(make-range (case-> (-> integer-set?)
(int . -> . integer-set?)
(((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 ((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)))
(provide (struct integer-set (contents))
(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 (any? any? integer-set? . -> . any))
(partition ((listof integer-set?) . -> . (listof integer-set?)))
(card (integer-set? . -> . natural-number?))
(subset? (integer-set? integer-set? . -> . any)))
#;(provide (struct integer-set (contents))
make-range
(rename merge union)
split