aurelia::ConstrNb< Constr, Term > Struct Template Reference

template<typename Constr, typename Term>
struct aurelia::ConstrNb< Constr, Term >

---

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

• terms/term_utils.hh