Module `Sek__.Owner`

type owner: The type owner represents the identity of a data structure owner.

val none : owner: The distinguished owner none represents the absence of an owner. Therefore, it indicates that a data structure is shared.

val zero : owner: zero is a fixed owner, distinct from none.

val fresh : unit -> owner: fresh() returns a fresh owner.

val is_uniquely_owned : owner -> owner -> bool: is_uniquely_owned o1 o2 tests whether a data structure tagged with creator o1 is uniquely owned by o2.

val show : owner -> string: show o produces a string representation of the owner o. It is used for debugging purposes only.