Struct BoundDecl

pub struct BoundDecl<'a> {
    pub base_terms: &'a [&'a BaseTerm<'a>],
}

Fields

base_terms: &'a [&'a BaseTerm<'a>]

Trait Implementations

impl<'a> Debug for BoundDecl<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> PartialEq for BoundDecl<'a>

fn eq(&self, other: &BoundDecl<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> StructuralPartialEq for BoundDecl<'a>