Attribute Macro verify_succ 

#[verify_succ]

#[verify_succ]: Implement Verify for a Rust struct or enum with a verifier that always succeeds.

This leaves the original item unchanged and adds: impl Verify for T { fn verify(...) -> Result<()> { Ok(()) } }.

Usage:

use pliron::derive::verify_succ;
use pliron::{common_traits::Verify, context::Context};

#[verify_succ]
struct AlwaysValid;

let ctx = Context::new();
assert!(AlwaysValid.verify(&ctx).is_ok());