% $RCSfile: CollectionSecureStateBun.oz,v $ \insert 'StackSecureStateBun.oz' declare fun {NewCollection} S = {NewStack} proc {Put X} {S.push X} end fun {Get} {S.pop} end fun {IsEmpty} {S.isEmpty} end in collection(put:Put get:Get isEmpty:IsEmpty) end