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])>

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