5 lines
138 B
Racket
5 lines
138 B
Racket
#lang typed/racket
|
|
|
|
(require tr-immutable
|
|
typed/rackunit)
|
|
(check-pred (make-predicate (IVectorof Positive-Byte)) (ivector 1 2 3)) |