Enum ProofTerm 

pub enum ProofTerm {
    Checked {
        class_index: usize,
    },
    Derived {
        rule_name: String,
        input_proofs: Vec<Box<ProofTerm>>,
    },
}

Proof term: records why a Geoit is valid.

Variants

Checked

Direct verification (standard govern() path).

Fields

class_index: usize

Derived

Derived from a transformation rule applied to verified inputs.

Fields

rule_name: String

input_proofs: Vec<Box<ProofTerm>>

Trait Implementations

impl Clone for ProofTerm

fn clone(&self) -> ProofTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofTerm

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

Formats the value using the given formatter.