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

CppUtils::Functional::LambdaCalculus::v2::Substitute<Application<Function, Argument>, Value, Depth>

STRUCT
Spécialisation de CppUtils::Functional::LambdaCalculus::v2::Substitute<class Expression, class Value, std::size_t Depth>

Types publics

Section intitulée « Types publics »

type

Section intitulée « type »
using CppUtils::Functional::LambdaCalculus::v2::Substitute< Application< Function, Argument >, Value, Depth >::type = Application< typename Substitute<Function, Value, Depth>::type, typename Substitute<Argument, Value, Depth>::type>;