Function main

example/map/values.cpp:19–29

int main() {
    auto m = hana::make_map(
        hana::make_pair(hana::int_c<1>, "foobar"s),
        hana::make_pair(hana::type_c<void>, 1234)
    );

    // The order of the values is unspecified.
    BOOST_HANA_RUNTIME_CHECK(
        hana::values(m) ^hana::in^ hana::permutations(hana::make_tuple("foobar"s, 1234))
    );
}