Searched defs:foreach (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ | ||
H A D | L3.sig | 14 val foreach : 'a list * ('a -> unit) -> unit value |
H A D | L3.sml | 30 fun foreach ([], _) = () function |
Completed in 91 milliseconds