package TagEngine() where

import Util

interface (TagEngine :: # -> *) numTags =
    requestTag :: ActionValue (UInt (TLog numTags))
    retireTag  :: UInt (TLog numTags) -> Action

a :: Integer
a = 3