Searched defs:balance (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/1/ | ||
H A D | AC_Sort.sml | 22 fun balance (dest,mk) assoc t = let function |
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ | ||
H A D | testEncode.sml | 533 val balance = value |
Completed in 20 milliseconds