(index ("s8vector-fold" 0) ("u8vector-fold" 0) ("s16vector-fold" 0) ("u16vector-fold" 0) ("s32vector-fold" 0) ("u32vector-fold" 0) ("f32vector-fold" 0) ("f64vector-fold" 0) ("s8vector-map" 734) ("u8vector-map" 734) ("s16vector-map" 734) ("u16vector-map" 734) ("s32vector-map" 734) ("u32vector-map" 734) ("f32vector-map" 734) ("f64vector-map" 734) ("s8vector-foldi" 1358) ("u8vector-foldi" 1358) ("s16vector-foldi" 1358) ("u16vector-foldi" 1358) ("s32vector-foldi" 1358) ("u32vector-foldi" 1358) ("f32vector-foldi" 1358) ("f64vector-foldi" 1358) ("s8vector-mapi" 2120) ("u8vector-mapi" 2120) ("s16vector-mapi" 2120) ("u16vector-mapi" 2120) ("s32vector-mapi" 2120) ("u32vector-mapi" 2120) ("f32ector-mapi" 2120) ("f64vector-mapi" 2120) ("s8vector-blit!" 2809) ("u8vector-blit!" 2809) ("s16vector-blit!" 2809) ("u16vector-blit!" 2809) ("s32vector-blit!" 2809) ("u32vector-blit!" 2809) ("f32vector-blit!" 2809) ("f64vector-blit!" 2809) ("s8vector-merge!" 3594) ("u8vector-merge!" 3594) ("s16vector-merge!" 3594) ("u16vector-merge!" 3594) ("s32vector-merge!" 3594) ("u32vector-merge!" 3594) ("f32vector-merge!" 3594) ("f64vector-merge!" 3594) ("s8vector-quick-sort!" 4634) ("u8vector-quick-sort!" 4634) ("s16vector-quick-sort!" 4634) ("u16vector-quick-sort!" 4634) ("s32vector-quick-sort!" 4634) ("u32vector-quick-sort!" 4634) ("f32vector-quick-sort!" 4634) ("f64vector-quick-sort!" 4634) ("s8vector-merge-sort!" 5353) ("u8vector-merge-sort!" 5353) ("s16vector-merge-sort!" 5353) ("u16vector-merge-sort!" 5353) ("s32vector-merge-sort!" 5353) ("u32vector-merge-sort!" 5353) ("f32vector-merge-sort!" 5353) ("f64vector-merge-sort!" 5353))
(def (sig (procedure "s8vector-fold :: F * X0 * V [* V1 ... VN] -> XN" (id s8vector-fold)) (procedure "u8vector-fold :: F * X0 * V [* V1 ... VN] -> XN" (id u8vector-fold)) (procedure "s16vector-fold :: F * X0 * V [* V1 ... VN] -> XN" (id s16vector-fold)) (procedure "u16vector-fold :: F * X0 * V [* V1 ... VN] -> XN" (id u16vector-fold)) (procedure "s32vector-fold :: F * X0 * V [* V1 ... VN] -> XN" (id s32vector-fold)) (procedure "u32vector-fold :: F * X0 * V [* V1 ... VN] -> XN" (id u32vector-fold)) (procedure "f32vector-fold :: F * X0 * V [* V1 ... VN] -> XN" (id f32vector-fold)) (procedure "f64vector-fold :: F * X0 * V [* V1 ... VN] -> XN" (id f64vector-fold))) (p "where " (tt "F :: V(I) [ * V1(I) ... VN(I)] * AX -> AX")))
(def (sig (procedure "s8vector-map  :: F * V [ * V1 ... VN] -> V" (id s8vector-map)) (procedure "u8vector-map  :: F * V [ * V1 ... VN] -> V" (id u8vector-map)) (procedure "s16vector-map  :: F * V [ * V1 ... VN] -> V" (id s16vector-map)) (procedure "u16vector-map  :: F * V [ * V1 ... VN] -> V" (id u16vector-map)) (procedure "s32vector-map  :: F * V [ * V1 ... VN] -> V" (id s32vector-map)) (procedure "u32vector-map  :: F * V [ * V1 ... VN] -> V" (id u32vector-map)) (procedure "f32vector-map  :: F * V [ * V1 ... VN] -> V" (id f32vector-map)) (procedure "f64vector-map  :: F * V [ * V1 ... VN] -> V" (id f64vector-map))))
(def (sig (procedure "s8vector-foldi :: F * X0 * V [ * V1 ... VN] -> XN" (id s8vector-foldi)) (procedure "u8vector-foldi :: F * X0 * V [ * V1 ... VN] -> XN" (id u8vector-foldi)) (procedure "s16vector-foldi :: F * X0 * V [ * V1 ... VN] -> XN" (id s16vector-foldi)) (procedure "u16vector-foldi :: F * X0 * V [ * V1 ... VN] -> XN" (id u16vector-foldi)) (procedure "s32vector-foldi :: F * X0 * V [ * V1 ... VN] -> XN" (id s32vector-foldi)) (procedure "u32vector-foldi :: F * X0 * V [ * V1 ... VN] -> XN" (id u32vector-foldi)) (procedure "f32vector-foldi :: F * X0 * V [ * V1 ... VN] -> XN" (id f32vector-foldi)) (procedure "f64vector-foldi :: F * X0 * V [ * V1 ... VN] -> XN" (id f64vector-foldi))) (p "where " (tt "F :: I * V(I) [ * V1(I) ... VN(I)] * AX -> AX")))
(def (sig (procedure "s8vector-mapi  :: F * V [* V1 ... VN] -> V" (id s8vector-mapi)) (procedure "u8vector-mapi  :: F * V [* V1 ... VN] -> V" (id u8vector-mapi)) (procedure "s16vector-mapi  :: F * V [* V1 ... VN] -> V" (id s16vector-mapi)) (procedure "u16vector-mapi  :: F * V [* V1 ... VN] -> V" (id u16vector-mapi)) (procedure "s32vector-mapi  :: F * V [* V1 ... VN] -> V" (id s32vector-mapi)) (procedure "u32vector-mapi  :: F * V [* V1 ... VN] -> V" (id u32vector-mapi)) (procedure "f32ector-mapi  :: F * V [* V1 ... VN] -> V" (id f32ector-mapi)) (procedure "f64vector-mapi  :: F * V [* V1 ... VN] -> V" (id f64vector-mapi))) (p "where " (tt "F :: I * V(I) [* V1(I) ... VN(I)] -> V")))
(def (sig (procedure "s8vector-blit!  :: VFROM * I * END * VTO * J] -> V" (id s8vector-blit!)) (procedure "u8vector-blit!  :: VFROM * I * END * VTO * J] -> V" (id u8vector-blit!)) (procedure "s16vector-blit!  :: VFROM * I * END * VTO * J] -> V" (id s16vector-blit!)) (procedure "u16vector-blit!  :: VFROM * I * END * VTO * J] -> V" (id u16vector-blit!)) (procedure "s32vector-blit!  :: VFROM * I * END * VTO * J] -> V" (id s32vector-blit!)) (procedure "u32vector-blit!  :: VFROM * I * END * VTO * J] -> V" (id u32vector-blit!)) (procedure "f32vector-blit!  :: VFROM * I * END * VTO * J] -> V" (id f32vector-blit!)) (procedure "f64vector-blit!  :: VFROM * I * END * VTO * J] -> V" (id f64vector-blit!))) (p "Copies subvector " (tt "VFROM[I,END)") " into " (tt "VTO[J,J+(END-I))") "."))
(def (sig (procedure "s8vector-merge!  :: ELT< * VA * P * Q * R * VB * N -> VB" (id s8vector-merge!)) (procedure "u8vector-merge!  :: ELT< * VA * P * Q * R * VB * N -> VB" (id u8vector-merge!)) (procedure "s16vector-merge!  :: ELT< * VA * P * Q * R * VB * N -> VB" (id s16vector-merge!)) (procedure "u16vector-merge!  :: ELT< * VA * P * Q * R * VB * N -> VB" (id u16vector-merge!)) (procedure "s32vector-merge!  :: ELT< * VA * P * Q * R * VB * N -> VB" (id s32vector-merge!)) (procedure "u32vector-merge!  :: ELT< * VA * P * Q * R * VB * N -> VB" (id u32vector-merge!)) (procedure "f32vector-merge!  :: ELT< * VA * P * Q * R * VB * N -> VB" (id f32vector-merge!)) (procedure "f64vector-merge!  :: ELT< * VA * P * Q * R * VB * N -> VB" (id f64vector-merge!))) (p "Given vector VA and indices P, Q, R such that P < Q < R, merges subvector " (tt "VA[P,Q)") " and subvector " (tt "A[Q,R)") " into vector " (tt "B[N,N+(R-P))") ". The comparison function " (tt "ELT<") " must be of type  " (tt "ELT< :: i1 * V(i1) * i2 * V(i2) -> boolean") "."))
(def (sig (procedure "s8vector-quick-sort!  :: ELT< * V -> V" (id s8vector-quick-sort!)) (procedure "u8vector-quick-sort!  :: ELT< * V -> V" (id u8vector-quick-sort!)) (procedure "s16vector-quick-sort!  :: ELT< * V -> V" (id s16vector-quick-sort!)) (procedure "u16vector-quick-sort!  :: ELT< * V -> V" (id u16vector-quick-sort!)) (procedure "s32vector-quick-sort!  :: ELT< * V -> V" (id s32vector-quick-sort!)) (procedure "u32vector-quick-sort!  :: ELT< * V -> V" (id u32vector-quick-sort!)) (procedure "f32vector-quick-sort!  :: ELT< * V -> V" (id f32vector-quick-sort!)) (procedure "f64vector-quick-sort!  :: ELT< * V -> V" (id f64vector-quick-sort!))) (p "where " (tt "ELT< :: i1 * V(i1) * i2 * V(i2) -> boolean")))
(def (sig (procedure "s8vector-merge-sort!  :: ELT< * V -> V" (id s8vector-merge-sort!)) (procedure "u8vector-merge-sort!  :: ELT< * V -> V" (id u8vector-merge-sort!)) (procedure "s16vector-merge-sort!  :: ELT< * V -> V" (id s16vector-merge-sort!)) (procedure "u16vector-merge-sort!  :: ELT< * V -> V" (id u16vector-merge-sort!)) (procedure "s32vector-merge-sort!  :: ELT< * V -> V" (id s32vector-merge-sort!)) (procedure "u32vector-merge-sort!  :: ELT< * V -> V" (id u32vector-merge-sort!)) (procedure "f32vector-merge-sort!  :: ELT< * V -> V" (id f32vector-merge-sort!)) (procedure "f64vector-merge-sort!  :: ELT< * V -> V" (id f64vector-merge-sort!))) (p "where " (tt "ELT< :: i1 * V(i1) * i2 * V(i2) -> boolean")))
