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

/seL4-l4v-master/HOL4/src/portableML/poly/
H A DSynchronized.sml14 val change_result: 'a var -> ('a -> 'b * 'a) -> 'b value
64 fun change_result var f = guarded_access var (SOME o f); function
H A DUnsynchronized.sml13 val change_result: 'a ref -> ('a -> 'b * 'a) -> 'b value
28 fun change_result r f = let val (x, y) = f (! r) in r := y; x end; function

Completed in 32 milliseconds