no_account_priority_state
An "empty" priority state, which does not point to an account, but has a priority value. no_account_priority_state(0.0)
is equivalent to no_op_priority_state()
Parameters
priority
the priority value, must be greater than 0