List of all items

Structs

• analysis::CapabilityDef
• analysis::Dependency
• analysis::DiscoveryPass
• analysis::DiscoveryResult
• analysis::EscapeChecker
• analysis::EscapeError
• analysis::FieldDef
• analysis::FnSig
• analysis::OwnershipChecker
• analysis::OwnershipError
• analysis::PolicyRegistry
• analysis::PredicateDef
• analysis::RustNames
• analysis::TypeEnv
• analysis::TypeRegistry
• analysis::VariantDef
• analysis::callgraph::CallGraph
• analysis::dependencies::Dependency
• analysis::escape::EscapeChecker
• analysis::escape::EscapeError
• analysis::liveness::FunctionLiveness
• analysis::liveness::LivenessResult
• analysis::ownership::OwnershipChecker
• analysis::ownership::OwnershipError
• analysis::policy::CapabilityDef
• analysis::policy::PolicyRegistry
• analysis::policy::PredicateDef
• analysis::readonly::MutableBorrowParams
• analysis::readonly::ReadonlyParams
• analysis::registry::FieldDef
• analysis::registry::TypeRegistry
• analysis::registry::VariantDef
• analysis::types::FnSig
• analysis::types::RustNames
• analysis::types::TypeEnv
• analysis::unify::TyVar
• analysis::unify::TypeScheme
• analysis::unify::UnificationTable
• cli::Cli
• compile::CompileOutput
• compile::CrateDependency
• interface::Repl
• interface::TermParser
• project::Loader
• project::ModuleSource
• project::build::BuildConfig
• project::build::BuildResult
• project::credentials::Credentials
• project::manifest::DependencyDetail
• project::manifest::Manifest
• project::manifest::Package
• project::registry::PublishMetadata
• project::registry::PublishResult
• project::registry::RegistryClient
• project::registry::UserInfo

Enums

• analysis::EscapeErrorKind
• analysis::FieldType
• analysis::LogosType
• analysis::OwnershipErrorKind
• analysis::PolicyCondition
• analysis::TypeDef
• analysis::VarState
• analysis::escape::EscapeErrorKind
• analysis::ownership::OwnershipErrorKind
• analysis::ownership::VarState
• analysis::policy::PolicyCondition
• analysis::registry::FieldType
• analysis::registry::TypeDef
• analysis::types::LogosType
• analysis::unify::InferType
• analysis::unify::TypeError
• cli::Commands
• compile::CompileError
• interface::Command
• interface::InterfaceError
• interface::ParseError
• project::build::BuildError
• project::credentials::CredentialsError
• project::manifest::DependencySpec
• project::manifest::ManifestError
• project::registry::PackageError
• project::registry::RegistryError

Functions

• analysis::check::check_program
• analysis::check_program
• analysis::dependencies::scan_dependencies
• analysis::discover_with_imports
• analysis::scan_dependencies
• analysis::unify::infer_to_logos
• analysis::unify::unify_numeric
• cli::run_cli
• compile::compile_and_run
• compile::compile_file
• compile::compile_program_full
• compile::compile_project
• compile::compile_to_c
• compile::compile_to_dir
• compile::compile_to_rust
• compile::compile_to_rust_checked
• compile::copy_runtime_crates
• compile::interpret_program
• interface::literate_parser::parse_definition
• interface::literate_parser::parse_inductive
• interface::literate_parser::parse_let_definition
• interface::literate_parser::parse_theorem
• interface::parse_command
• project::build::build
• project::build::find_project_root
• project::build::run
• project::credentials::credentials_path
• project::credentials::get_token
• project::registry::create_tarball
• project::registry::is_git_dirty