Generic type checking mechanism for membership of type T in variant ALL_T. More...
Generic type checking mechanism for membership of type T in variant ALL_T.