// STRUCT TEMPLATE enable_if
template<bool _Test,
    class _Ty = void>
    struct enable_if
    {   // type is undefined for assumed !_Test
    };

template<class _Ty>
    struct enable_if<true, _Ty>
    {   // type is _Ty for _Test
    using type = _Ty;
    };