module Dummy where

import Prelude (undefined, Show, Eq, Ord, Bool)

import MyLogic

data A_bool = A_True

| A_False

deriving (Show, Eq, Ord)

a :: A_bool

a = undefined

b0 :: A_bool -> A_bool

b0 = undefined

b :: A_bool

b = undefined

notA :: A_bool

notA = undefined