Attribute Macro op_interface_impl 

#[op_interface_impl]

Implement Op Interface for an Op. The interface trait must define a verify function with type OpInterfaceVerifier

Usage:

#[def_op("dialect.name")]
#[format_op]
struct MyOp;

#[op_interface]
pub trait MyOpInterface {
    fn gubbi(&self);
    fn verify(op: &dyn Op, ctx: &Context) -> Result<()>
    where Self: Sized,
    {
        Ok(())
    }
}

#[op_interface_impl]
impl MyOpInterface for MyOp {
    fn gubbi(&self) { println!("gubbi"); }
}