Searched defs:elements (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/msvc32include/
H A Dffi.h112 struct _ffi_type **elements; member in struct:_ffi_type
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_pp.sml1340 val elements = #elements rr value
1372 val elements = #elements rr value
1401 val elements = #elements rr value
1450 val elements = #elements rr value
[all...]
/seL4-l4v-10.1.1/HOL4/src/real/
H A DRealArith.sml823 val elements = binops_add tm2 value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeign.sml601 val elements = value
[all...]

Completed in 64 milliseconds