Struct CoqSectionVar 

pub struct CoqSectionVar {
    pub names: Vec<String>,
    pub var_type: String,
}

Coq section variable declaration

Fields

names: Vec<String>

var_type: String

Trait Implementations

impl Clone for CoqSectionVar

fn clone(&self) -> CoqSectionVar

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoqSectionVar

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

Formats the value using the given formatter.

impl Display for CoqSectionVar

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

Formats the value using the given formatter.