Struct PO 

pub struct PO {
    pub predicate: Spanned<Term>,
    pub object: Vec<Spanned<Term>>,
}

Fields

predicate: Spanned<Term>

object: Vec<Spanned<Term>>

Implementations

impl PO

pub fn fix_spans(&mut self, len: usize)

pub fn set_context(&self, ctx: &mut Context)

Trait Implementations

impl Clone for PO

fn clone(&self) -> PO

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PO

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

Formats the value using the given formatter.

impl Display for PO

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

Formats the value using the given formatter.

impl PartialEq for PO

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

impl StructuralPartialEq for PO