scursor 0.5.0

Secure cursor library with support for read and write transactions
Documentation 
1
2
3
4
5
6
7
8
9
10
11

#![doc = include_str!("../README.md")]
#![no_std]

mod read;
mod write;

#[cfg(kani)]
mod proofs;

pub use read::*;
pub use write::*;