thorin::ast::AxiomDecl::Alias Member List

This is the complete list of members for thorin::ast::AxiomDecl::Alias, including all inherited members.

Alias(Dbg dbg)	thorin::ast::AxiomDecl::Alias	inline
AxiomDecl	thorin::ast::AxiomDecl::Alias	friend
bind(Scopes &, const AxiomDecl *) const	thorin::ast::AxiomDecl::Alias
dbg() const	thorin::ast::AxiomDecl::Alias	inline
Decl(Loc loc)	thorin::ast::Decl	inlineprotected
def() const	thorin::ast::Decl	inline
def_	thorin::ast::Decl	mutableprotected
dump() const	thorin::ast::Node
loc() const	thorin::ast::Node	inline
Node(Loc loc)	thorin::ast::Node	inlineprotected
stream(Tab &, std::ostream &) const override	thorin::ast::AxiomDecl::Alias	virtual
~Node()	thorin::ast::Node	inlineprotectedvirtual