Searched refs:pgldequeue (Results 1 – 1 of 1) sorted by relevance
52 pgldequeue (Pgl n q) = (x, Pgl (n-1) nq) where function77 (x,niaq) = pgldequeue $ inactive q81 (x,naq) = pgldequeue $ active q85 (x,naq) = pgldequeue $ active q95 (x,npgl) = pgldequeue $ inactive q107 (x,_) = pgldequeue $ active q