automation-structures 0.2.1

Reusable, formally specified building blocks for composing automation systems.
Documentation
1
2
3
4
//! Retained cross-structure verification assemblies.

/// Bounded governed-commit assembly used by the semantic bridge.
pub mod governed_commit;