pipecircuit-cli 0.0.3

Command-line architectural tools for Pipecircuit programs
1
2
3
4
5
6

//! Single-owner authorities with precise typed transitions and outcomes.

#[cfg(kani)]
mod proofs;
#[cfg(test)]
mod tests;