Struct NonMatchedBranch 

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

Fields

condition: Box<ProofNode>

result: Option<Box<ProofNode>>

clause_index: Option<usize>

source_location: Option<Source>

Trait Implementations

impl Clone for NonMatchedBranch

fn clone(&self) -> NonMatchedBranch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NonMatchedBranch

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

Formats the value using the given formatter.

impl Serialize for NonMatchedBranch

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

where __S: Serializer,

Serialize this value into the given Serde serializer.