files/practicum/SeqEnSeqList.icl

   1 module SeqEnSeqList
   2
   3 import StdEnv, StdStack
   4
   5 Start         = and
   6                 [ elements` s1           == elements s2
   7                 , elements` (popn` 3 s1) == elements (popn 3 s2)
   8                 ,            topn` 3 s1  ==           topn 3 s2
   9                 , elements` s1           == elements s2
  10                 ]
  11 where (s1,s2) = (pushes` [1..5] newStack, pushes [1..5] newStack)
  12
  13 pushes`       = // expressie met seq en push
  14 popn`         = // expressie met seq en pop
  15 topn`   n s   = // expressie met seqList, top en pop
  16 elements` s   = // expressie met seqList, top en pop