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