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

/seL4-l4v-master/HOL4/src/tfl/src/
H A DRW.sig52 val ABST : strategy value
H A DRW.sml755 fun ABST f cntxt tm = function

Completed in 38 milliseconds