carl  24.04
Computer ARithmetic Library
carl::detail::is_from_variant_wrapper< Check, T, Variant< Args... > > Struct Template Reference

#include <variant_util.h>

Static Public Attributes

static constexpr bool value = std::disjunction<Check<T,Args>...>::value
 

Detailed Description

template<template< typename... > class Check, typename T, template< typename... > class Variant, typename... Args>
struct carl::detail::is_from_variant_wrapper< Check, T, Variant< Args... > >

Definition at line 58 of file variant_util.h.

Field Documentation

◆ value

template<template< typename... > class Check, typename T , template< typename... > class Variant, typename... Args>
constexpr bool carl::detail::is_from_variant_wrapper< Check, T, Variant< Args... > >::value = std::disjunction<Check<T,Args>...>::value
staticconstexpr

Definition at line 59 of file variant_util.h.


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