+
+(** {6 Additional information} *)
+
+type info = {
+ i_size : int; (** Allocated size, bytes. *)
+}
+ (** Extra information fields. See {!Ancient.mark_info} and
+ * {!Ancient.share_info}.
+ *)
+
+val mark_info : 'a -> 'a ancient * info
+ (** Same as {!Ancient.mark}, but also returns some extra information. *)
+
+val share_info : md -> int -> 'a -> 'a ancient * info
+ (** Same as {!Ancient.share}, but also returns some extra information. *)
+