definition module webauctionDemo import StdInt, StdBool, StdString, StdList, StdOrdList, StdTuple, StdEnum, StdOverloaded, StdFile import CommonCombinators, CoreCombinators, CoreTasks, InteractionTasks, SystemData, SystemTypes, webauction /** * newWorkflow * */ newWorkflow :: Task Void