mim::ast::AxiomDecl::Alias Member List

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

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