Struct Branch 

pub struct Branch {
    pub condition: Option<Box<ProofNode>>,
    pub result: Box<ProofNode>,
    pub clause_index: Option<usize>,
    pub source_location: Option<Source>,
}

Fields

condition: Option<Box<ProofNode>>

result: Box<ProofNode>

clause_index: Option<usize>

source_location: Option<Source>

Trait Implementations

impl Clone for Branch

fn clone(&self) -> Branch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Branch

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

Formats the value using the given formatter.

impl Serialize for Branch

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.