module AddFactDef where

data AddSubExpr = NAS Integer
                | Add AddSubExpr AddSubExpr
                | Sub AddSubExpr AddSubExpr
    deriving (Eq, Show)

data FactExpr = NF Integer
              | Factorial FactExpr
    deriving (Eq, Show)