HomeIsabelle/Phabricator

clarified signature: File.read_lines is based on scalable Bytes.T;