(** {3 Create ownership tables} *)
-val create_ownership : machine -> (*ownership*)unit
+type ownership
+
+val create_ownership : machine -> ownership
(** This creates the ownership tables (mapping disk blocks to the
- ultimate filesystem, etc., which owns each).
+ ultimate filesystem, etc., which owns each one).
*)
(** {2 Debugging} *)