include/basix/primitive.hpp File Reference

#include <basix/syntactic.hpp>
#include <basix/identifiers.hpp>
#include <basix/wrap.hpp>

Go to the source code of this file.

Classes

• class primitive_rep
• class primitive

Namespaces

• namespace mmx

Functions

• primitive_rep * inside (const primitive &x)
• template<> nat hard_hash (const primitive &x)
• template<> bool hard_eq (const primitive &x, const primitive &y)
• template<> bool hard_neq (const primitive &x, const primitive &y)
• bool is_nil (const primitive &fun)
• syntactic flatten (const primitive &fun)

---

Detailed Description

Definition in file primitive.hpp.