{-|
Module      : Variable
Copyright   : (c) Stéphane Vialette, 2015
License     : MIT
Maintainer  : vialette@gmail.com
Stability   : experimental
-}

module PPOL.Sat.Variable
(
	-- Variable data type
  Variable(..)
)
where

-- | 'Variable' type
data Variable a = Variable a deriving (Show, Eq, Ord)
