template <template <typename, typename, typename> class M, typename L, typename R, typename... Args>

struct ResultType

Defined at line 199 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_math_shared_impl.h

These variadic templates work out the return types.

TODO(jschuh): Rip all this out once we have C++14 non-trailing auto support.