-- | Default prefix for token identifiers.
defaultTcfTokenIdPrefix :: String
defaultTcfTokenIdPrefix = "t_"
defaultTcfTokenIdPrefix :: String
defaultTcfTokenIdPrefix = "t_"
defaultTcfTokenIdPrefix = "t_"