gistfile1.cpp

struct tick_private_trait_base_is_incrementable : tick::ops {
    typedef tick::refines<> type;
};
struct tick_private_trait_is_incrementable;
template<class... T>
struct is_incrementable : tick::models<tick_private_trait_is_incrementable(T...)> {}; 

struct tick_private_trait_is_incrementable : tick::detail::base_requires, tick::ops, tick_private_trait_base_is_incrementable::type
{
    template<class T>
    auto requires_(T&& x) -> decltype(tick::detail::valid_expr((x++, ++x, tick::detail::void_())));
};