Aller au contenu
CppUtils
Bienvenue sur la nouvelle documentation de CppUtils !
import CppUtils.Functional.LambdaCalculus;ouimport CppUtils;

CppUtils::Functional::LambdaCalculus::BetaReduction<Application<Application<Expression, Argument1>, Argument0>>

STRUCT
Spécialisation de CppUtils::Functional::LambdaCalculus::BetaReduction<class Expression>

Types publics

Section intitulée « Types publics »

type

Section intitulée « type »
using CppUtils::Functional::LambdaCalculus::v2::BetaReduction< Application< Application< Expression, Argument1 >, Argument0 > >::type = typename Type::LazyEvaluationType< not std::is_same_v<InnerApplication, ReducedInnerApplication>, BetaReduction, Application<ReducedInnerApplication, Argument0>, std::type_identity<Application<InnerApplication, Argument0> >>::type;