Up
Module
Throttle_debug
Debugging for
Throttle
.
Signature
module
Debug
(
Throttle
:
module type of
Throttle
) :
module type of
Throttle