Trait ImplicitExtApp 

pub trait ImplicitExtApp: Sized {
    // Required method
    fn unapply_implicits(
        &self,
        in_prepare_revert: bool,
    ) -> Option<(&Term, &[Term])>;
}

Required Methods

fn unapply_implicits(&self, in_prepare_revert: bool) -> Option<(&Term, &[Term])>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl ImplicitExtApp for ApplicationTerm

fn unapply_implicits(&self, in_prepare_revert: bool) -> Option<(&Term, &[Term])>

impl ImplicitExtApp for Term

fn unapply_implicits(&self, in_prepare_revert: bool) -> Option<(&Term, &[Term])>

Implementors