Library Stdlib.Strings.PrimString

From Corelib Require Export PrimString.