Overview

(* OASIS_START *)
(* DO NOT EDIT (digest: 75b67a7f46210b049e014674e41d9ca6) *)
This is the README file for the VecN distribution.

vectors with length encoded in type

See the files INSTALL.txt for building and installation instructions. 


(* OASIS_STOP *)