Function ics23::iavl_spec

source ·
pub fn iavl_spec() -> ProofSpec