exposing array as ref, and array specs in terms of as_ref, so that modifies and separation works better
exposing array as ref, and array specs in terms of as_ref, so that modifies and separation works better

A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar