C.icl

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