
{-# LANGUAGE OverloadedStrings #-}




---------------------------------------------------------------------------
-- |
-- Copyright :  (c) Andreas Reuleaux 2015
-- License   :  BSD2
-- Maintainer:  Andreas Reuleaux <rx@a-rx.info>
-- Stability :  experimental
-- Portability: non-portable
--
-- the wildcard name (defined as "_") in Pire's flavour of Pi-forall syntax
---------------------------------------------------------------------------



module Pire.Syntax.Wildcard where
       

import Data.Text as T


wildcardName :: T.Text
wildcardName = "_"


