Up
Module
Unit_test
=
Core_kernel.Stable_unit_test.Make
Parameters
T
:
Core_kernel.Stable_unit_test_intf.Arg