Searched defs:all_preds (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/portableML/ | ||
H A D | Graph.sml | 36 val all_preds: 'a T -> key list -> key list value 167 fun all_preds G = List.concat o #1 o reachable (imm_preds G); function |
Completed in 31 milliseconds