Struct CoqExample 

pub struct CoqExample {
    pub name: String,
    pub statement: String,
    pub proof: CoqTacticBlock,
}

Coq Example definition

Fields

name: String

statement: String

proof: CoqTacticBlock

Trait Implementations

impl Clone for CoqExample

fn clone(&self) -> CoqExample

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoqExample

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

Formats the value using the given formatter.

impl Display for CoqExample

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

Formats the value using the given formatter.