Struct Clause 

pub struct Clause<T> {
    pub head: Term<T>,
    pub body: Option<Expr<T>>,
}

Fields

head: Term<T>

body: Option<Expr<T>>

Trait Implementations

impl<T: Clone> Clone for Clause<T>

fn clone(&self) -> Clause<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: AsRef<str>> Display for Clause<T>

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

Formats the value using the given formatter.

impl<'int, Int: Intern> Parse<'int, Int> for Clause<Name<<Int as Intern>::InternedStr<'int>>>

fn parse( buf: &mut ParseBuffer<'_>, interner: &'int Int, ) -> Result<Self, Box<dyn StdError + Send + Sync>>

impl<T: PartialEq> PartialEq for Clause<T>

fn eq(&self, other: &Clause<T>) -> 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<T: Eq> Eq for Clause<T>

impl<T> StructuralPartialEq for Clause<T>