Trait ImplicitExtApp 

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

Required Methods

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl ImplicitExtApp for ApplicationTerm

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

impl ImplicitExtApp for Term

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

Implementors