mcrl2::core::term_traits< T > Struct Template Reference

Contains type information for terms. More...

#include <term_traits.h>

Detailed Description

template<typename T>
struct mcrl2::core::term_traits< T >

Contains type information for terms.

Definition at line 23 of file term_traits.h.

---

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

• core/include/mcrl2/core/term_traits.h