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

/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sig373 val cached : 'a ordering -> ('a -> 'b) -> 'a -> 'b value
H A DUseful.sml790 fun cached cmp f = function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibModel.sml41 fun cached c f k = function

Completed in 75 milliseconds