Searched defs:Size (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ | ||
H A D | pyobjc-tc.c | 15 typedef struct Size { struct 18 } Size; typedef in typeref:struct:Size |
/seL4-l4v-10.1.1/HOL4/polyml/basis/ | ||
H A D | General.sml | 31 exception Size exception 56 and Size = RunCall.Size exception 78 exception Span = Span and Subscript = Subscript and Size = Size exception |
Completed in 28 milliseconds