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

#include <mim/axiom.h>

Concept definition

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

Detailed Description

Definition at line 72 of file axiom.h.