AS_BASIC_PLpatt.hs

{-# LANGUAGE DeriveDataTypeable #-}
module PLpatt.AS_BASIC_PLpatt where

import Data.Typeable

type Id = String
type Var = Int
data Bool' = True' | False' | And Bool' Bool' | Or Bool' Bool' | Not Bool' | Impl Bool' Bool' | Equiv Bool' Bool'
 deriving ( Show, Typeable, Eq, Ord)
data Dot = Dot Id Bool'
 deriving ( Show, Typeable, Eq)
data Prop = Prop Id
 deriving ( Show, Typeable, Eq)
data Decl = Dot_decl Dot | Prop_decl Prop
 deriving ( Show, Typeable, Eq)
data Symb = Symb {sname :: Id} deriving ( Show, Typeable, Eq, Ord)


newtype Basic_spec = Basic_spec [String] deriving (Show, Typeable)