A term with a value at the points X: term_value(t, x) is formed. More...

Concept definition

template<typename T, typename X>

concept dedekind::sets::HasTermValueAt = requires(const T& t, const X& x) { term_value(t, x); }

A term with a value at the points X: term_value(t, x) is formed.

Definition recursion.cppm:104

constexpr decltype(auto) term_value(Projection< I > p, const Env< T, R > &e)

A projection read at an Env is read at its point.

Definition recursion.cppm:132

Detailed Description

A term with a value at the points X: term_value(t, x) is formed.

Template Parameters

T	the term.
X	the point type.