Searched defs:hit (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibClause.sml538 datatype hit = Id | Sym | Miss; type
543 fun hit _ [] _ = Miss | hit a (h :: t) x = if h = x then a else hit Sym t x; function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/PSL/regexp/
H A DregexpTools.sml88 val (hit, th) = cconv tm value

Completed in 54 milliseconds