Searched defs:guarded_access (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DSynchronized.sml13 val guarded_access: 'a var -> ('a -> ('b * 'a) option) -> 'b value
59 fun guarded_access var f = valOf (timed_access var (fn _ => NONE) f); function

Completed in 28 milliseconds