functor
(
T
:
Stable_unit_test_intf
.
Arg
)
->
Stable_unit_test_intf
.
S