History log of /seL4-l4v-10.1.1/HOL4/src/portableML/mosml/concurrent/Sref.sig
Revision Date Author Comments
# 01500507 23-Oct-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Add implementation of lock-for-write, read without locking reference

Sref perhaps stands for "safe-reference". In Moscow ML land, this is
just a normal reference of course.