Searched defs:maximals (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/portableML/ | ||
H A D | Graph.sml | 41 val maximals: 'a T -> key list value 191 fun maximals G = fold_graph (fn (m, (_, (_, succs))) => Keys.is_empty succs ? cons m) G []; function |
Completed in 17 milliseconds