module K.Ast where

data Expr
    = Tru
    | Fals
    | Zero
    | IsZero Expr
    | Succ Expr
    | Pred Expr
    | If Expr Expr Expr
      deriving (Eq, Show)