old/infdomain/test.icl

   1 module test
   2
   3 import StdEnv
   4
   5 import Data.GenFDomain
   6
   7 :: T = S T | Z
   8
   9 derive bimap []
  10 derive gFDomain T
  11
  12 Start = hd [() \\ _ <- dom]
  13
  14 dom :: [T]
  15 dom = gFDomain{|*|}
  16