Module retirement 

Whether a record left its workspace: moving a record to another workspace stamps its last change here retired (the toolkit’s ui::record::transfer), and a retired record is never opened as a live document again.

Structs

Successor

Where a moved record went and who moved it, as its retirement records. Anyone who can read the old record learns only these ids; whether they can see the destination is for their own desktop to say.

Enums

Retirement

Why a record is retired, as stamped into its last change.

Constants

RETIRED

Key, in a record’s meta map, marking a record that left its workspace.

Functions

is_retired

Whether doc is a record that left its workspace.

retirement

The retirement stamped into doc, when it has left its workspace.