[−][src]Trait terms::pattern::PatternLike

pub trait PatternLike<F, X>: Sized {
    fn kind(&self) -> PatternLikeKind<F, X, Self>;
}

Any object that can act like a pattern. Such as a term.

Required methods

fn kind(&self) -> PatternLikeKind<F, X, Self>

Loading content...

Implementors

impl<F, X> PatternLike<F, X> for Pattern<F, X>[src]

impl<F, X> PatternLike<F, X> for Term<F>[src]

Loading content...