Edit File: arrayprint.pyi