definition module DocumentService /** * This module provides the document service. * It provides uploading and downloading of (large) documents that are further * processed by workflows. */ from HTTP import :: HTTPRequest, :: HTTPResponse from IWorld import :: IWorld documentService :: !String !String ![String] !HTTPRequest !*IWorld -> (!HTTPResponse, !*IWorld)