List of all items

Structs

• analysis::CapabilityDef
• analysis::Dependency
• analysis::DimensionChecker
• analysis::DimensionError
• analysis::DiscoveryPass
• analysis::DiscoveryResult
• analysis::EscapeChecker
• analysis::EscapeError
• analysis::FieldDef
• analysis::FnSig
• analysis::IndexedTypeError
• analysis::OwnershipChecker
• analysis::OwnershipError
• analysis::OwnershipFinding
• analysis::PolicyRegistry
• analysis::PredicateDef
• analysis::RustNames
• analysis::TypeEnv
• analysis::TypeRegistry
• analysis::VariantDef
• analysis::callgraph::CallGraph
• analysis::check::IndexedTypeError
• analysis::dependencies::Dependency
• analysis::dimension_check::DimensionChecker
• analysis::dimension_check::DimensionError
• analysis::escape::EscapeChecker
• analysis::escape::EscapeError
• analysis::liveness::FunctionLiveness
• analysis::liveness::LivenessResult
• analysis::ownership::OwnershipChecker
• analysis::ownership::OwnershipError
• analysis::ownership::OwnershipFinding
• 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::AotModule
• compile::CheckArtifacts
• compile::CompileOutput
• compile::CrateDependency
• compile::GenuineProjectionResult
• compile::RunOutcome
• interface::Repl
• interface::TermParser
• project::Loader
• project::ModuleSource
• project::build::BuildConfig
• project::build::BuildResult
• project::build::CargoFailure
• project::credentials::Credentials
• project::manifest::DependencyDetail
• project::manifest::Manifest
• project::manifest::Package
• project::registry::PublishMetadata
• project::registry::PublishResult
• project::registry::RegistryClient
• project::registry::UserInfo
• ui::CliError

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::build::CargoFailureKind
• project::credentials::CredentialsError
• project::manifest::DependencySpec
• project::manifest::ManifestError
• project::registry::PackageError
• project::registry::RegistryError
• ui::ColorMode

Functions

• analysis::check::check_program
• analysis::check::check_program_collect
• analysis::check_program
• analysis::check_program_collect
• analysis::dependencies::scan_dependencies
• analysis::discover_with_imports
• analysis::scan_dependencies
• analysis::unify::infer_to_logos
• analysis::unify::unify_numeric
• cli::run_cli
• compile::aot_build_function
• compile::aot_cache_key
• compile::aot_load_bundle
• compile::build_native_bundle
• compile::build_native_cdylib
• compile::build_native_cdylib_cached
• compile::build_native_pe_binary
• compile::build_native_pe_cdylib
• compile::build_native_wasm
• compile::classify_source
• compile::compile_and_run
• compile::compile_file
• compile::compile_function_to_native_rust
• compile::compile_program_full
• compile::compile_program_full_deterministic
• compile::compile_program_full_with_proven
• compile::compile_program_full_with_wire
• compile::compile_program_traced
• compile::compile_project
• compile::compile_to_c
• compile::compile_to_dir
• compile::compile_to_rust
• compile::compile_to_rust_checked
• compile::compile_to_rust_deterministic
• compile::compile_to_rust_traced
• compile::compile_to_rust_with_proven
• compile::compile_to_wasm
• compile::compile_to_wasm_linked
• compile::copy_runtime_crates
• compile::core_interp_source
• compile::core_types_for_pe_source
• compile::count_dispatch
• compile::decode_value_raw
• compile::decompile_source_text
• compile::display_float_like_logos
• compile::encode_program_source
• compile::encode_program_source_compact
• compile::encode_value_raw
• compile::finish_projection1_residual
• compile::first_parallel_block_independent
• compile::genuine_projection2_residual
• compile::genuine_projection3_residual
• compile::interpret_program
• compile::native_export_function_names
• compile::next_inspect_otherwise_idx
• compile::optimization_dependencies
• compile::optimization_graph
• compile::optimization_preemptions
• compile::optimizations_fired
• compile::optimizations_fired_run
• compile::optimizations_fired_vm
• compile::optimizations_fired_with
• compile::optimizations_used
• compile::pe_bti_source_text
• compile::pe_cdylib_source
• compile::pe_combined_source
• compile::pe_mini_source_text
• compile::pe_native_source
• compile::pe_source_text
• compile::program_covered_by_native_builder
• compile::program_to_core_wire_bytes
• compile::program_to_core_wire_bytes_two_pass
• compile::program_to_core_wire_bytes_via_interpreter
• compile::projection1_source
• compile::projection1_source_real
• compile::projection1_source_real_fast
• compile::projection1_source_real_fast_on_vm
• compile::projection2_source
• compile::projection2_source_real
• compile::projection3_source
• compile::projection3_source_real
• compile::quote_pe_source
• compile::run_genuine_p2_on_target
• compile::run_genuine_p3_on_target
• compile::run_logos_source
• compile::run_native_pe
• compile::run_native_pe_inprocess
• compile::run_native_pe_server
• compile::rustc_check
• compile::rustc_check_artifacts
• compile::send_check_source
• compile::stmts_to_core_wire_bytes
• compile::tw_outcome
• compile::tw_outcome_with_args
• compile::verify_no_overhead_source
• compile::vm_outcome
• compile::vm_outcome_bg
• compile::vm_outcome_concurrent
• compile::vm_outcome_net
• compile::vm_outcome_tiered
• compile::vm_outcome_with_args
• compile::vm_run_source
• compile::write_cargo_project
• 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::classify_cargo_failure
• project::build::find_project_root
• project::build::requires_component_is_safe
• project::build::run
• project::credentials::credentials_path
• project::credentials::get_token
• project::registry::create_tarball
• project::registry::is_git_dirty
• ui::info
• ui::init
• ui::is_quiet
• ui::phase
• ui::render_error
• ui::verbosity

Constants

• ui::CLAP_STYLES
• ui::ERROR_STYLE
• ui::EXIT_FAILURE
• ui::EXIT_OK
• ui::EXIT_USAGE
• ui::HELP_STYLE
• ui::PHASE_STYLE
• ui::WARN_STYLE