Parameter Make.3-_

module IO : Platform.IO
module Semaphore : Platform.SEMAPHORE
module Thread : Platform.THREAD
module Clock : Platform.CLOCK