Struct DefinitionBlock 

pub struct DefinitionBlock<'a> {
    pub name: String,
    pub params: Vec<Symbol>,
    pub definiendum: &'a LogicExpr<'a>,
    pub definiens: &'a LogicExpr<'a>,
}

A ## Define block: <definiendum>(params) if and only if <definiens>.

Fields

name: String

The definiendum predicate name (the LHS predicate, e.g. "bachelor").

params: Vec<Symbol>

The parameter symbols the definiendum binds (its LHS arguments).

definiendum: &'a LogicExpr<'a>

The definiendum application — the LHS Predicate of the biconditional.

definiens: &'a LogicExpr<'a>

The definiens — the RHS of the biconditional.

Trait Implementations

impl<'a> Clone for DefinitionBlock<'a>

fn clone(&self) -> DefinitionBlock<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for DefinitionBlock<'a>

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

Formats the value using the given formatter.