List of all items
Structs
- analysis::CapabilityDef
- analysis::Dependency
- analysis::DiscoveryPass
- analysis::DiscoveryResult
- analysis::EscapeChecker
- analysis::EscapeError
- analysis::FieldDef
- analysis::OwnershipChecker
- analysis::OwnershipError
- analysis::PolicyRegistry
- analysis::PredicateDef
- analysis::TypeRegistry
- analysis::VariantDef
- analysis::dependencies::Dependency
- analysis::escape::EscapeChecker
- analysis::escape::EscapeError
- analysis::ownership::OwnershipChecker
- analysis::ownership::OwnershipError
- analysis::policy::CapabilityDef
- analysis::policy::PolicyRegistry
- analysis::policy::PredicateDef
- analysis::registry::FieldDef
- analysis::registry::TypeRegistry
- analysis::registry::VariantDef
- 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::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
- 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::dependencies::scan_dependencies
- analysis::discover_with_imports
- analysis::scan_dependencies
- cli::run_cli
- compile::compile_and_run
- compile::compile_file
- compile::compile_program_full
- compile::compile_project
- compile::compile_to_dir
- compile::compile_to_rust
- compile::compile_to_rust_checked
- compile::copy_runtime_crates
- 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