StdStack2.dcl « practicum « files - NWI-IBC029-30-Functioneel-Programmeren - Files related to NWI-IBC029 and NWI-IBC030 Functioneel Programmeren, spring 2015, Radboud University Nijmegen.

summary refs log tree commit diff

path: root/files/practicum/StdStack2.dcl

blob: 064d8f7f6c2e8e98325417be2cffb8b1c00c3387 (plain) (blame)

definition module StdStack2

::	Stack2 elem = E.impl:	{ stack		:: impl
							, push		:: elem impl -> impl
							, pop		::      impl -> impl
							, top		::      impl ->  elem
							, elements	::      impl -> [elem]
							}