Skip to content
CppUtils
Welcome to the new CppUtils documentation!
import CppUtils.Functional.LambdaCalculus;orimport CppUtils;

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

STRUCT
Specialization of CppUtils::Functional::LambdaCalculus::v2::BetaReduction<class Expression>

Public types

Section titled “Public types”

type

Section titled “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;