#
b2b4683c |
|
11-Nov-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Implement generic universally-typed database of "flags" A value like this will eventually need to how we store things like Globals.priming, as well as traces from Feedback. A FlagDB value can be stored in a reference and accessed in concurrency-aware ways. References such as Globals.priming can't.
|