Struct CoqModuleDef 

pub struct CoqModuleDef {
    pub name: String,
    pub items: Vec<String>,
    pub is_section: bool,
}

Coq module system

Fields

name: String

items: Vec<String>

is_section: bool

Trait Implementations

impl Clone for CoqModuleDef

fn clone(&self) -> CoqModuleDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoqModuleDef

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

Formats the value using the given formatter.

impl Display for CoqModuleDef

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

Formats the value using the given formatter.