MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
axm.h File Reference
#include <fe/assert.h>
#include "mim/plugin.h"
Include dependency graph for axm.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  mim::Axm
 
struct  mim::Axm::IsANode< T >
 
class  mim::Axm::IsA< Id, D >
 

Namespaces

namespace  mim
 

Concepts

concept  mim::annex_with_subs
 
concept  mim::annex_without_subs
 

Functions

is_commutative/is_associative
template<class Id>
constexpr bool mim::is_commutative (Id)
 
template<class Id>
constexpr bool mim::is_associative (Id id)
 

Class Documentation

◆ mim::Axm::IsANode

struct mim::Axm::IsANode
template<class T>
struct mim::Axm::IsANode< T >

Type of IsA::def_.

Definition at line 63 of file axm.h.

Class Members
typedef App type App