src/Pure/General/space.scala

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/General/space.scala	Fri Jan 27 15:33:21 2023 +0100
@@ -0,0 +1,17 @@
+/*  Title:      Pure/General/space.scala
+    Author:     Makarius
+
+Storage space based on bytes.
+*/
+
+package isabelle
+
+
+object Space {
+  def bytes(bs: Long): Space = new Space(bs)
+  val zero: Space = bytes(0L)
+}
+
+final class Space private(val bytes: Long) extends AnyVal {
+  override def toString: String = bytes.toString
+}