Struct malk_core::Term

pub struct Term(_);

A pointer to a term.

Trait Implementations

impl Debug for Term

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Clone for Term

fn clone(&self) -> Term

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for Term

fn eq(&self, __arg_0: &Term) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Term) -> bool

This method tests for !=.

impl Deref for Term

type Target = TermKind

The resulting type after dereferencing

fn deref(&self) -> &TermKind

The method called to dereference a value