You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
6 lines
204 B
Racket
6 lines
204 B
Racket
10 years ago
|
#lang racket/base
|
||
|
|
(require sugar/define racket/set)
|
||
|
|
(require-via-wormhole "../typed/sugar/len.rkt")
|
||
|
|
|
||
|
|
(provide+safe [len ((or/c list? vector? set? sequence? string? symbol? path? hash?) . -> . integer?)])
|