module Make:
| Parameters: |
|
module Counter:Counter.Swith type ('a,'b) reagent = ('a,'b) R.t
module Treiber_stack:Treiber_stack.Swith type ('a,'b) reagent = ('a,'b) R.t
module Elimination_stack:Elimination_stack.Swith type ('a,'b) reagent = ('a,'b) R.t
module MichaelScott_queue:MichaelScott_queue.Swith type ('a,'b) reagent = ('a,'b) R.t