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

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

STRUCT
Specialization of CppUtils::Functional::LambdaCalculus::v2::NormalForm<class Expression>

Public types

Section titled “Public types”

type

Section titled “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;