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