Source file `semaphore_selected.ml`

1
2
3
4
5
6
7
8
9
# 1 "src/semaphore-as-alias.ml"
include (
  Semaphore :
    sig
      module Counting :
        Semaphore_intf.COUNTING with type t = Semaphore.Counting.t

      module Binary : Semaphore_intf.BINARY with type t = Semaphore.Binary.t
    end )