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

CppUtils::Functional::LambdaCalculus::NormalForm<class Expression>

STRUCT

Public types

Section titled “Public types”

type

Section titled “type”
using CppUtils::Functional::LambdaCalculus::v2::NormalForm< Expression >::type = Type::LazyEvaluationType<not std::is_same_v<Expression, Reduced>, NormalForm, Reduced, std::type_identity<Reduced> >::type;