serif::model::checks::Binding< TermT > Struct Template Reference

Only the binding's physical identity is needed to check public overload constraints. More...

Public Types
using	Term = TermT

Detailed Description

template<typename TermT>
struct serif::model::checks::Binding< TermT >

Only the binding's physical identity is needed to check public overload constraints.

Member Typedef Documentation

Term

template<typename TermT>

using serif::model::checks::Binding< TermT >::Term = TermT

---

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

• src/compile_time_checks/serif/model/state.cpp