Function ics23::iavl_spec[][src]

pub fn iavl_spec() -> ProofSpec