Searched defs:topological_order (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/HOL4/src/portableML/ | ||
H A D | Graph.sml | 62 val topological_order: 'a T -> key list value 329 fun topological_order G = minimals G |> all_succs G; function |
Completed in 62 milliseconds