Note_brr_legacy
Legacy functionality.
Needed for transitional reasons. Will disappear when a suitable replacement is provided. Do not use.
module Store : sig ... end
Persistent storage.