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 11 of file stream.cpp.
|
inline |
Definition at line 12 of file stream.cpp.
Referenced by operator<<, mim::ast::AliasDecl::stream(), mim::ast::AliasPtrn::stream(), mim::ast::AppExpr::stream(), mim::ast::AxmDecl::stream(), mim::ast::DeclExpr::stream(), mim::ast::GrpPtrn::stream(), mim::ast::IdPtrn::stream(), mim::ast::InfixExpr::stream(), mim::ast::LamDecl::Dom::stream(), mim::ast::LetDecl::stream(), mim::ast::LitExpr::stream(), mim::ast::MatchExpr::Arm::stream(), mim::ast::MatchExpr::stream(), mim::ast::MutualDecl::stream(), mim::ast::PiExpr::Dom::stream(), mim::ast::PiExpr::stream(), mim::ast::PrefixExpr::stream(), mim::ast::RetExpr::stream(), mim::ast::RuleDecl::stream(), mim::ast::RuleExpr::stream(), mim::ast::SeqExpr::stream(), mim::ast::SingleExpr::stream(), mim::ast::TuplePtrn::stream(), mim::ast::TypeExpr::stream(), mim::ast::UseDecl::stream(), mim::ast::VariantExpr::Ctor::stream(), mim::ast::VariantExpr::stream(), mim::ast::LamDecl::stream_(), mim::ast::NomDecl::stream_(), mim::ast::RecDecl::stream_(), and mim::ast::stream_decls().
|
friend |
Definition at line 19 of file stream.cpp.
References S().
| const Node* mim::ast::S::node |
Definition at line 17 of file stream.cpp.
Referenced by S().
| fe::Tab& mim::ast::S::tab |
Definition at line 16 of file stream.cpp.
Referenced by S().