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

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

STRUCT
Specialization of CppUtils::Functional::LambdaCalculus::Substitute<class Expression, class Value, std::size_t Depth>

Public types

Section titled “Public types”

type

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