Module Index.Platform

module type IO = Index__.Io.S
module type CLOCK = sig ... end
module type SEMAPHORE = sig ... end
module type THREAD = sig ... end
module type S = sig ... end