eadt/export/B.icl

   1 implementation module B
   2
   3 import main
   4
   5 :: T | E
   6
   7 B :: T
   8 B = E
   9
  10 isB :: T -> Bool
  11 isB E = True
  12 isB _ = False