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

CppUtils::Functional::LambdaCalculus::v2::BetaReduction<Application<Lambda<Body>, Argument>>

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< Lambda< Body >, Argument > >::type = typename Substitute<Body, Argument, 0>::type;