files/practicum/Wisselgeld.dcl

   1 definition module Wisselgeld
   2
   3 ::  Bedrag     :== Int      // een positief getal
   4 ::  Valuta     :== Int      // een positief getal
   5 ::  Valutas    :== [Valuta] // een niet-lege lijst
   6 ::  Munt       :== Int      // een positief getal
   7 ::  K          :== Int      // een positief getal
   8 ::  WisselGeld :== [Munt]
   9
  10 //      Implementeer en test onderstaande functie:
  11 wissel :: Bedrag Valutas K -> [WisselGeld]