Module Semaphore

module Counting : sig ... end
module Binary : sig ... end