Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
thorin::annex_with_subs Concept Reference

#include <thorin/axiom.h>

Concept definition

template<class Id>
concept thorin::annex_with_subs = Annex::Num<Id> != 0
thorin::annex_with_subs
Definition axiom.h:65
thorin::Annex::Base
static constexpr flags_t Base
Definition plugin.h:131

Detailed Description

Definition at line 65 of file axiom.h.