Searched defs:pgldequeue (Results 1 – 1 of 1) sorted by relevance
46 pgldequeue (Pgl n (x:xs)) = (x, Pgl (n-1) xs) function52 pgldequeue (Pgl n q) = (x, Pgl (n-1) nq) where function