(sort IVec (Vec i64))

; Test vec-of
(check (= (vec-of 1 2) (vec-push (vec-push (vec-empty) 1) 2)))

; Test vec-append
(check (= (vec-append (vec-of 1 2) (vec-of 3 4)) (vec-of 1 2 3 4)))

; Test vec-pop
(check (= (vec-pop (vec-of 1 2 3)) (vec-of 1 2)))

; Test vec-not-contains
(check (vec-not-contains (vec-of 1 2 3) 4))

; Test vec-contains
(check (vec-contains (vec-of 1 2 3) 2))

; Test length
(check (= (vec-length (vec-of 1 2 3)) 3))

; Test vec-get
(check (= (vec-get (vec-of 1 2 3) 1) 2))

; Test vec-set
(check (= (vec-set (vec-of 1 2 3) 1 4) (vec-of 1 4 3)))