lean-ctx-2.21.2
- lean-ctx 2.21.2
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- yvgude
- Dependencies
- anyhow ^1 normal
  chrono ^0.4 normal
  dirs ^5 normal
  flate2 ^1 normal
  futures ^0.3 normal
  glob ^0.3.3 normal
  ignore ^0.4 normal
  md-5 ^0.10 normal
  regex ^1 normal
  rmcp ^1 normal
  rten ^0.24 normal optional
  rten-tensor ^0.24 normal optional
  serde ^1 normal
  serde_json ^1 normal
  similar ^2 normal
  tar ^0.4.45 normal
  thiserror ^2 normal
  tiktoken-rs ^0.6 normal
  tokio ^1 normal
  tokio-util ^0.7 normal
  toml ^0.8 normal
  tracing ^0.1 normal
  tracing-subscriber ^0.3 normal
  tree-sitter ^0.26 normal optional
  tree-sitter-bash ^0.25 normal optional
  tree-sitter-c ^0.24 normal optional
  tree-sitter-c-sharp ^0.23 normal optional
  tree-sitter-cpp ^0.23 normal optional
  tree-sitter-dart ^0.1 normal optional
  tree-sitter-elixir ^0.3 normal optional
  tree-sitter-go ^0.25 normal optional
  tree-sitter-java ^0.23 normal optional
  tree-sitter-javascript ^0.25 normal optional
  tree-sitter-kotlin-ng ^1.1 normal optional
  tree-sitter-php ^0.24 normal optional
  tree-sitter-python ^0.25 normal optional
  tree-sitter-ruby ^0.23 normal optional
  tree-sitter-rust ^0.24 normal optional
  tree-sitter-scala ^0.25 normal optional
  tree-sitter-swift ^0.7 normal optional
  tree-sitter-typescript ^0.23 normal optional
  tree-sitter-zig ^1.1 normal optional
  ureq ^3.3.0 normal
  walkdir ^2 normal
  zip ^8.4.0 normal
  tempfile ^3.27.0 dev
- Versions
- 5.14% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

batch_execute

lean_ctx2.21.2

In lean_ctx::core::sandbox

lean_ctx::core::sandbox

Function batch_execute

pub fn batch_execute(items: &[(String, String)]) -> Vec<SandboxResult>