Searched defs:elts (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/1/ | ||
H A D | TypeBase.sig | 18 val elts : unit -> tyinfo list value |
H A D | TypeBase.sml | 137 val elts = listItems o theTypeBase; value |
Completed in 49 milliseconds