Searched defs:all_hyps (Results 1 - 1 of 1) sorted by path

/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DCache.sml22 val all_hyps = List.foldl hypinfo_addth empty_hypinfo value

Completed in 76 milliseconds