lean-ctx-doc-0.2.0
- lean-ctx-doc 0.2.0
- Permalink
- Docs.rs crate page
- Apache-2.0
- 11 November 2026
- Links
- Repository
- crates.io
- Source
- Owners
- yvgude
- Dependencies
- fs2 ^0.4 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  sha2 ^0.11 normal
  tempfile ^3.27 dev
- Versions
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

split

lean_ctx_doc0.2.0

In lean_ctx_doc::sections

lean_ctx_doc::sections

Function split

pub fn split(body: &str) -> (String, Vec<Section>)

Expand description

split_with at SECTION_MAX_BYTES.