Skip to main content

two_phase_commit_ty

oxilean_std::distributed_systems_theory::functions

Function two_phase_commit_ty 

Source 
pub fn two_phase_commit_ty() -> Expr
Expand description

TwoPhaseCommit : Nat → Prop — 2PC protocol with n participants