dedekind::order::IsStepTerm Concept Reference

A set term whose normal form the run lists read. More...

Concept definition

template<typename T>
concept dedekind::order::IsStepTerm =  requires { typename T::logic_species; } &&
                     IsStepSource<decltype(steps(std::declval<const T&>()))>

Detailed Description

A set term whose normal form the run lists read.