Trait VerificationBackend 

pub trait VerificationBackend {
    const NAME: &'static str;
}

Marker trait for external verification backends.

Required Associated Constants

const NAME: &'static str

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl VerificationBackend for HigherCoherenceCertificate

Available on crate features alloc or std only.

const NAME: &'static str = "karpal-higher-coherence"

Implementors

impl VerificationBackend for CoherenceCertificate

Available on crate features alloc or std only.

const NAME: &'static str = "karpal-diagram-coherence"

impl VerificationBackend for KaniCertificate

const NAME: &'static str = "kani"

impl VerificationBackend for LeanCertificate

const NAME: &'static str = "lean4"

impl VerificationBackend for ProofTestCertificate

const NAME: &'static str = "karpal-proof"

impl VerificationBackend for SmtCertificate

const NAME: &'static str = "smtlib2"