Functionsยง
- all_
data_ dirs_ with_ stats - Returns all known data directories that contain stats data. Used for migration and doctor diagnostics.
- lean_
ctx_ data_ dir - Resolve the lean-ctx data directory.
- migrate_
if_ split - Detect and repair a data directory split. Returns the number of tokens migrated, or None if no split detected.
- test_
env_ lock