List of all items
Structs
- cli::args::CliArgs
- cli::diagnostic::Description
- cli::diagnostic::Diagnostic
- cli::diagnostic::LineCol
- cli::pipeline::PipeIO
- cli::pipeline::Pipeline
- cli::replay::ReplayWriter
- interp::config::RunnerConfig
- interp::config::RunnerStats
- interp::runner::RunnerState
- interp::solver::no_smt::NoSmtSolver
- interp::solver::smtlib::SmtLibSolver
- interp::strategy::Branch
- interp::strategy::History
- interp::strategy::PredCall
- logic::ast::Constructor
- logic::ast::DataDecl
- logic::ast::PredDecl
- logic::ast::Program
- logic::ast::QueryDecl
- logic::ast::Rule
- logic::translate::Translater
- syntax::ast::Constructor
- syntax::ast::DataDecl
- syntax::ast::FuncDecl
- syntax::ast::Program
- syntax::ast::QueryDecl
- syntax::ast::Var
- syntax::lexer::TokenSpan
- syntax::parser::Parser
- utils::env_map::EnvMap
- utils::ident::Ident
- utils::ident::IdentCtx
- utils::intern::InternStr
- utils::unify::Unifier
Enums
- cli::args::Heuristic
- cli::args::Solver
- cli::diagnostic::DiagLevel
- interp::progagate::PropagateResult
- interp::solver::smtlib::SolverBackend
- logic::ast::QueryParam
- syntax::ast::Declaration
- syntax::ast::Expr
- syntax::ast::Pattern
- syntax::ast::QueryParam
- syntax::ast::Type
- syntax::lexer::Token
- syntax::parser::ParseError
- tych::rename::RenameError
- tych::rename::VarType
- utils::lit::LitType
- utils::lit::LitVal
- utils::prim::Compare
- utils::prim::Prim
- utils::term::OptCons
- utils::term::Term
- utils::unify::UnifyError
Traits
Functions
- cli::args::get_test_cli_args
- cli::args::parse_cli_args
- cli::pipeline::run_cli
- cli::pipeline::run_cli_test
- cli::pipeline::run_pipline
- interp::progagate::propagate_unify
- interp::solver::common::infer_type
- logic::compile::compile_pass
- logic::elaborate::elaborate_pass
- syntax::lexer::tokenize
- syntax::parser::parse_program
- tych::check::check_pass
- tych::rename::rename_pass