A term that binds at the points X: bind_check<X>(t) is formed. More...

Concept definition

template<typename T, typename X>

concept dedekind::sets::BindsAt = requires(const T& t) { bind_check<X>(t); }

A term that binds at the points X: bind_check<X>(t) is formed.

Definition recursion.cppm:267

constexpr void bind_check(const T &t, const X &rep=X{})

Bind a term or atom to the points X it is evaluated at: every constant meets the carrier of the term ...

Definition terms.cppm:1727

Detailed Description

A term that binds at the points X: bind_check<X>(t) is formed.

Template Parameters

T	the term.
X	the point type.