henrique-almeida

#include <boost/hana.hpp>

namespace h = boost::hana;

using uint_t = unsigned;
constexpr auto uint_zero =
  h::zero<h::integral_constant_tag<uint_t>>();

template <uint_t... xs>
using big_int = h::tuple<h::uint<xs>...>;