Ticket #136: HT.hs

module HT 
where

type Label = Int
data AGraph n e x = A n
data O = O
data C = C

-- | Create a while loop
mkWhileDo    :: Ord n
             => (Label -> Label -> AGraph n O C) -- ^ loop condition
             -> AGraph n O O -- ^ body of the loop
             -> AGraph n O O -- ^ the final while loop

mkWhileDo = undefined