functor (T : Stable_unit_test_intf.Arg) -> sig  end