speculative_count property

  1. @UnsignedInt()
int speculative_count
getter/setter pair

Implementation

@natural_t()
external int speculative_count;