Library Stdlib.Array.PrimArray

From Corelib Require Export PrimArray.