Searched defs:await (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/HOL4/src/portableML/poly/ | ||
H A D | Single_Assignment.sml | 12 val await: 'a var -> 'a value 34 fun await (v as Var {name, lock, cond, ...}) = function |
Completed in 79 milliseconds