Bienvenue sur la nouvelle documentation de CppUtils !
CppUtils::Functional::LambdaCalculus::NormalForm<Lambda<Body>>
STRUCTSpécialisation de
CppUtils::Functional::LambdaCalculus::NormalForm<class Expression>Types publics
Section intitulée « Types publics »using CppUtils::Functional::LambdaCalculus::v2::NormalForm< Lambda< Body > >::type = Lambda<typename NormalForm<Body>::type>;