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

Constants

CONSTANTS

Namespace: CppUtils::Functional::LambdaCalculus::v1

Constants & variables

Section titled “Constants & variables”

True

Section titled “True”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::True;

False

Section titled “False”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::False;

If

Section titled “If”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::If;

And

Section titled “And”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::And;

Or

Section titled “Or”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::Or;

Not

Section titled “Not”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::Not;

Successor

Section titled “Successor”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::Successor;

Zero

Section titled “Zero”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::Zero;

Count

Section titled “Count”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::Count;

Add

Section titled “Add”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::Add;

Mult

Section titled “Mult”
constexpr auto CppUtils::Functional::LambdaCalculus::v1::Mult;