Searched defs:pglenqueue (Results 1 – 1 of 1) sorted by relevance
45 pglenqueue x (Pgl n xs) = Pgl (n+1) (xs++[x]) function51 pglenqueue x (Pgl n q) = Pgl (n+1) (addToQueue q x) function