functor
(
R
:
sig
val
r : int
Pervasives
.ref
end
)
->
VERBOSITY