mim::ast::AxiomDecl Member List

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

AxiomDecl(Loc loc, Dbg dbg, std::deque< Ptrs< Alias > > &&subs, Ptr< Expr > &&type, Dbg normalizer, Tok curry, Tok trip)	mim::ast::AxiomDecl	inline
bind(Scopes &) const override	mim::ast::AxiomDecl	virtual
curry() const	mim::ast::AxiomDecl	inline
dbg() const	mim::ast::AxiomDecl	inline
Decl(Loc loc)	mim::ast::Decl	inlineprotected
def() const	mim::ast::Decl	inline
def_	mim::ast::Decl	mutableprotected
dump() const	mim::ast::Node
emit(Emitter &) const override	mim::ast::AxiomDecl	virtual
loc() const	mim::ast::Node	inline
Node(Loc loc)	mim::ast::Node	inlineprotected
normalizer() const	mim::ast::AxiomDecl	inline
num_subs() const	mim::ast::AxiomDecl	inline
stream(Tab &, std::ostream &) const override	mim::ast::AxiomDecl	virtual
sub(size_t i) const	mim::ast::AxiomDecl	inline
subs() const	mim::ast::AxiomDecl	inline
trip() const	mim::ast::AxiomDecl	inline
type() const	mim::ast::AxiomDecl	inline
ValDecl(Loc loc)	mim::ast::ValDecl	inlineprotected
~Node()	mim::ast::Node	inlineprotectedvirtual