CommutativeProof

hydro_lang::properties

Trait CommutativeProof 

Source 
pub trait CommutativeProof: Sealed { }
Expand description

A trait for proof mechanisms that can validate commutativity.

Implementors§