1 2 3 4 5 6 7 8 9 10 11 12 13
pub trait Finalize<T> { type Output; fn finalize(self, proof: T) -> Self::Output; } impl<T> Finalize<T> for () { type Output = T; fn finalize(self, proof: T) -> Self::Output { proof } }