Type trait to check if a class is a specialization of a template with types and two non-type parameters. More...

#include <ikarus/utils/traits.hh>

Inheritance diagram for Ikarus::traits::isSpecializationTypeNonTypeAndType< Type, Type< T, M, N > >:

Detailed Description

template<template< typename, auto, typename > class Type, typename T, auto M, typename N>
struct Ikarus::traits::isSpecializationTypeNonTypeAndType< Type, Type< T, M, N > >

Template Parameters

Type	Template class with types and two non-type parameters.
T	First type parameter.
M	First non-type parameter.
N	Second type parameter.

The documentation for this struct was generated from the following file:

traits.hh