Searched defs:average (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/HOL4/src/1/ | ||
| H A D | ScaledTests.sml | 11 fun average (gen, test) m n = let function |
| /seL4-l4v-master/HOL4/developers/ | ||
| H A D | comparelogs.sml | 92 fun average [] = 0.0 function |
Completed in 75 milliseconds