Trait ImplicitExtBound 

pub trait ImplicitExtBound {
    // Required method
    fn get_bound_implicits(&self) -> Option<(&Term, &[ComponentVar])>;
}

Required Methods

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

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl ImplicitExtBound for BindingTerm

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

impl ImplicitExtBound for Term

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

Implementors