c/util.rkt
#lang racket
(require ffi/unsafe
         ffi/unsafe/cvector
         (prefix-in c: racket/contract))

(define ((cvector-of? type) cv)
  (and (cvector? cv)
       (equal? (cvector-type cv) type)))

(provide/contract
 [cvector-of? (ctype? . c:-> . (any/c . c:-> . boolean?))])