Shares/mTaskShare.dcl

   1 definition module Shares.mTaskShare
   2
   3 :: MTaskShare = {
   4                 initValue :: Int,
   5                 withTask :: String,
   6                 identifier :: Int,
   7                 realShare :: String
   8         }