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

CppUtils::Functional::LambdaCalculus::v2::NormalForm<Application<Function, Argument>>

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

Types publics

Section intitulée « Types publics »

type

Section intitulée « type »
using CppUtils::Functional::LambdaCalculus::v2::NormalForm< Application< Function, Argument > >::type = typename Type::LazyEvaluationType< not std::is_same_v<Original, Reduced>, NormalForm, Reduced, std::type_identity< Application<typename NormalForm<Function>::type, typename NormalForm<Argument>::type> >>::type;