8.12
tr-immutable
| (require tr-immutable) | package: tr-immutable |
This library implements immutable wrappers for vector and box, in a way that typed/racket is able to recognise. This makes it possible to write (make-predicate (IVectorof Integer)) in current versions of Typed/Racket.
type
(IVectorof A)
The type for immutable vectors containing elements of type A.
The type for immutable vectors containing elements of type A.