Searched defs:map_node (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/portableML/ | ||
H A D | Graph.sml | 30 val map_node: key -> ('a -> 'a) -> 'a T -> 'a T value 142 fun map_node x f = map_entry x (fn (i, ps) => (f i, ps)); function |
Completed in 83 milliseconds