HomeIsabelle/Phabricator

clarified signature: more general operation Bytes.read_slice;