def __init__(self):
        self.elements = defaultdict(list)
        self.is_ordered = True
        self.priorities = []
        self.size = 0
        self._cached_elements = None
The proof that the mixed public / private credential issuing is correct
dataset/ETHPy150Open ARM-software/workload-automation/wlauto/external/louie/prioritylist.py/PriorityList.__init__--crossover with--dataset/ETHPy150Open gdanezis/petlib/examples/amacscreds.py/cred_secret_issue_proof