Searched defs:indexOf (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ | ||
| H A D | L3.sig | 15 val indexOf : ''a * ''a list -> IntInf.int option value |
| H A D | L3.sml | 113 fun indexOf x = revLookup equal x function |
Completed in 35 milliseconds