module RefineE where

e1 :: String
e1 = "e1"

e2 :: String
e2 = "e2"