[][src]Function ics23::iavl_spec

pub fn iavl_spec() -> ProofSpec