6.15.3 Non–empty vector type

Core Type: <nevector>

Parent Type: <vector>

Type of non–empty vector values.

Constructor on <nevector>: <nevector> type-constructor obj0 obj …

Return a non–empty vector.

Type predicate on <nevector>: <boolean> type-predicate obj

The type predicate is nevector?. Return #t if obj is a <nevector> object; otherwise return #f.

Accessors and mutators

Method on <nevector>: <top> ref this {idx <non-negative-fixnum>}

Apply vector-ref to the instance and the argument.

Method on <nevector>: <void> set! this {idx <non-negative-fixnum>} obj

Apply vector-set! to the instance and the arguments.