4 A [link metafunction template metafunction] supports ['currying] when it accepts
5 less arguments than it normally expects. When less arguments are provided, then
6 it returns a [link metafunction_class template metafunction class] expecting
7 the remaining arguments. That template metafunction class is also expected to
10 For example assuming the following metafunction is given:
12 template <class A, class B>
15 It takes two values, adds them and returns their result. For example:
19 std::integral_constant<int, 11>,
20 std::integral_constant<int, 2>
25 If it supports currying, then the following should also work:
27 using inc = plus<std::integral_constant<int, 1>>;
30 inc::apply<std::integral_constant<int, 12>>::type::value == 13,
34 The above example defines the `inc` template metafunction class by calling
35 `plus` with just one argument: the [link boxed_value boxed] `1` value.