?prevdifflink? - Blame
|
module Language.Law.SyntaxADT ( LawS(..), getName )where import Language.R.SyntaxADT import Text.ParserCombinators.Parsec.Pos data LawS = EquivS SourcePos String S S | ImplS SourcePos String S S deriving (Eq, Show) getName :: LawS -> String getName (EquivS _ n _ _) = n getName (ImplS _ n _ _) = n |