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

/seL4-l4v-master/HOL4/src/portableML/poly/concurrent/
H A DEvent_Timer.sml149 val (canceled, requests') = del_request req requests; value
H A DFuture.sml140 val canceled = Unsynchronized.ref ([]: group list); value
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml34 val canceled (* sic *) : syserror value
627 and canceled (* sic *) = fromWord(getConst 6) value

Completed in 95 milliseconds