Struct ProofBranch 

pub struct ProofBranch {
    pub conclusion: Vec<ParseNode>,
    pub premises: Vec<ProofBranch>,
    pub left_label: Option<Vec<ParseNode>>,
    pub right_label: Option<Vec<ParseNode>>,
    pub line_style: ProofLineStyle,
    pub root_at_top: bool,
}

Fields

conclusion: Vec<ParseNode>

premises: Vec<ProofBranch>

left_label: Option<Vec<ParseNode>>

right_label: Option<Vec<ParseNode>>

line_style: ProofLineStyle

root_at_top: bool

Trait Implementations

impl Clone for ProofBranch

fn clone(&self) -> ProofBranch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofBranch

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofBranch

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProofBranch

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

where __S: Serializer,

Serialize this value into the given Serde serializer.