Function ics23::smt_spec

source ·
pub fn smt_spec() -> ProofSpec