author | wenzelm |
Tue, 21 Jun 2022 14:51:50 +0200 | |
changeset 75572 | 833f26c3a3af |
parent 75571 | ac5e633ad9b3 |
child 75573 | 4fc8a35579b2 |
--- a/src/Pure/General/bytes.ML Tue Jun 21 14:51:17 2022 +0200 +++ b/src/Pure/General/bytes.ML Tue Jun 21 14:51:50 2022 +0200 @@ -2,8 +2,10 @@ Author: Makarius Scalable byte strings, with incremental construction (add content to the -end). Note: type string is implicitly limited by String.maxSize (approx. 64 -MB on 64_32 architecture). +end). + +Note: type string is implicitly limited by String.maxSize (approx. 64 MB on +64_32 architecture). *) signature BYTES =