abstracting out LowStar.Endianness dependencies to top-level, and writing a monotonic version of store32_le
abstracting out LowStar.Endianness dependencies to top-level, and writing a monotonic version of store32_le

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