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

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

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

Types publics

Section intitulée « Types publics »

type

Section intitulée « type »
using CppUtils::Functional::LambdaCalculus::v2::BetaReduction< Application< Lambda< Body >, Argument > >::type = typename Substitute<Body, Argument, 0>::type;