Public Member Functions | |
| S (fe::Tab &tab, const Node *node) | |
Public Attributes | |
| fe::Tab & | tab |
| const Node * | node |
Friends | |
| std::ostream & | operator<< (std::ostream &os, const S &s) |
Definition at line 10 of file stream.cpp.
|
inline |
Definition at line 11 of file stream.cpp.
Referenced by operator<<, mim::ast::AliasDecl::stream(), mim::ast::AliasPtrn::stream(), mim::ast::AppExpr::stream(), mim::ast::AxmDecl::Sibling::stream(), mim::ast::AxmDecl::stream(), mim::ast::DeclExpr::stream(), mim::ast::IdPtrn::stream(), mim::ast::InfixExpr::stream(), mim::ast::LamDecl::Dom::stream(), mim::ast::LamExpr::stream(), mim::ast::LetDecl::stream(), mim::ast::LitExpr::stream(), mim::ast::MatchExpr::Arm::stream(), mim::ast::MatchExpr::stream(), mim::ast::PiExpr::Dom::stream(), mim::ast::PiExpr::stream(), mim::ast::RetExpr::stream(), mim::ast::RuleDecl::stream(), mim::ast::RuleExpr::stream(), mim::ast::SeqExpr::stream(), mim::ast::TypeExpr::stream(), mim::ast::UniqExpr::stream(), mim::ast::UseDecl::stream(), mim::ast::LamDecl::stream_(), mim::ast::RecDecl::stream_(), and mim::ast::stream_decls().
|
friend |
Definition at line 18 of file stream.cpp.
References S().
| const Node* mim::ast::S::node |
Definition at line 16 of file stream.cpp.
Referenced by S().
| fe::Tab& mim::ast::S::tab |
Definition at line 15 of file stream.cpp.
Referenced by S().