Specifies that a type is a Qx error variant. More...
Satisfied if V is a vartiant composed entirely of types that satisfy the error_type or error_adaptation concept.