10 namespace hana = boost::hana;
24         auto f = hana::metafunction<F>;  in main()
25         auto s = hana::type_c<struct initial_state>;  in main()
26         BOOST_HANA_CONSTANT_CHECK(hana::equal(  in main()
27             hana::fold_left(hana::tuple_t<>, s, f),  in main()
30         BOOST_HANA_CONSTANT_CHECK(hana::equal(  in main()
31             hana::fold_left(hana::tuple_t<x0>, s, f),  in main()
32             f(s, hana::type_c<x0>)  in main()
34         BOOST_HANA_CONSTANT_CHECK(hana::equal(  in main()
35             hana::fold_left(hana::tuple_t<x0, x1>, s, f),  in main()
36             f(f(s, hana::type_c<x0>), hana::type_c<x1>)  in main()
38         BOOST_HANA_CONSTANT_CHECK(hana::equal(  in main()
39             hana::fold_left(hana::tuple_t<x0, x1, x2>, s, f),  in main()
40             f(f(f(s, hana::type_c<x0>), hana::type_c<x1>), hana::type_c<x2>)  in main()
42         BOOST_HANA_CONSTANT_CHECK(hana::equal(  in main()
43             hana::fold_left(hana::tuple_t<x0, x1, x2, x3>, s, f),  in main()
44             f(f(f(f(s, hana::type_c<x0>), hana::type_c<x1>), hana::type_c<x2>), hana::type_c<x3>)  in main()
50         auto f = hana::metafunction<F>;  in main()
51         BOOST_HANA_CONSTANT_CHECK(hana::equal(  in main()
52             hana::fold_left(hana::tuple_t<x0>, f),  in main()
53             hana::type_c<x0>  in main()
55         BOOST_HANA_CONSTANT_CHECK(hana::equal(  in main()
56             hana::fold_left(hana::tuple_t<x0, x1>, f),  in main()
57             f(hana::type_c<x0>, hana::type_c<x1>)  in main()
59         BOOST_HANA_CONSTANT_CHECK(hana::equal(  in main()
60             hana::fold_left(hana::tuple_t<x0, x1, x2>, f),  in main()
61             f(f(hana::type_c<x0>, hana::type_c<x1>), hana::type_c<x2>)  in main()
63         BOOST_HANA_CONSTANT_CHECK(hana::equal(  in main()
64             hana::fold_left(hana::tuple_t<x0, x1, x2, x3>, f),  in main()
65             f(f(f(hana::type_c<x0>, hana::type_c<x1>), hana::type_c<x2>), hana::type_c<x3>)  in main()