Searched defs:STRENGTH_WEAK (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ | ||
H A D | scanaddrs.h | 53 typedef enum { STRENGTH_STRONG = 0, STRENGTH_WEAK = 1 } RtsStrength; enumerator in enum:ScanAddress::__anon77 |
Completed in 160 milliseconds