module Counter: Counter.S with type ('a,'b) reagent = ('a,'b) R.t
Counter.S
with type ('a,'b) reagent = ('a,'b) R.t