MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::annex_without_subs Concept Reference

#include <mim/axiom.h>

Concept definition

template<class Id>
concept mim::annex_without_subs = Annex::Num<Id> == 0
mim::annex_without_subs
Definition axiom.h:66
mim::Annex::Num
static constexpr size_t Num
Definition plugin.h:115

Detailed Description

Definition at line 66 of file axiom.h.