List of all items
Structs
- block::ast::Block
- block::ast::PredDef
- block::ast::Program
- cli::args::CliArgs
- cli::diagnostic::Description
- cli::diagnostic::Diagnostic
- cli::diagnostic::LineCol
- cli::pipeline::PipeIO
- cli::pipeline::Pipeline
- constr::backend::incr_smt::IncrSmtSolver
- constr::backend::no_smt::NoSmtSolver
- constr::backend::non_incr_smt::NonIncrSmtSolver
- constr::solver::Solver
- constr::subst::Subst
- logic::ast::Constructor
- logic::ast::DataDecl
- logic::ast::PredDecl
- logic::ast::Program
- logic::ast::QueryDecl
- logic::transform::Translater
- sched::config::WalkerConfig
- sched::config::WalkerStat
- sched::path::Path
- sched::path::PathTree
- sched::walker::Walker
- 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::SmtBackend
- cli::diagnostic::DiagLevel
- constr::backend::SmtBackend
- logic::ast::Goal
- 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
- block::compile::compile_dict
- block::compile::compile_goal
- block::elab::elab_pass
- cli::args::get_test_cli_args
- cli::args::parse_cli_args
- cli::pipeline::run_cli
- cli::pipeline::run_cli_test
- cli::pipeline::run_pipline
- logic::elab::elab_pass
- logic::optimize::goal_flatten
- logic::optimize::goal_optimize
- logic::optimize::goal_reorder
- logic::transform::logic_translation
- syntax::lexer::tokenize
- syntax::parser::parse_program
- tych::check::check_pass
- tych::rename::rename_pass