IdempotentProof

hydro_lang::properties

Trait IdempotentProof 

Source 
pub trait IdempotentProof: Sealed { }
Expand description

A trait for proof mechanisms that can validate idempotence.

Implementors§