iavl_spec

Function iavl_spec 

pub fn iavl_spec() -> ProofSpec