dedekind::order::SourceRef< S > Struct Template Reference

A source read through a reference: a stored run list inside a term is traversed where it is, not copied. More...

Public Types
using	Domain = typename S::Domain
using	logic_species = typename S::logic_species

Public Member Functions
constexpr auto	first () const
constexpr auto	steps () const

Public Attributes
const S *	s

Detailed Description

template<typename S>
struct dedekind::order::SourceRef< S >

A source read through a reference: a stored run list inside a term is traversed where it is, not copied.

Template Parameters

S	the source.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/order/runs.cppm