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