Struct CoqProgramBuilder 

pub struct CoqProgramBuilder {
    pub imports: Vec<CoqImport>,
    pub type_defs: Vec<String>,
    pub items: Vec<String>,
}

Coq program builder

Fields

imports: Vec<CoqImport>

type_defs: Vec<String>

items: Vec<String>

Implementations

impl CoqProgramBuilder

pub fn new() -> Self

pub fn add_import(&mut self, import: CoqImport)

pub fn add_type_def(&mut self, td: &str)

pub fn add_item(&mut self, item: &str)

pub fn build(&self) -> String

Trait Implementations

impl Debug for CoqProgramBuilder

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

Formats the value using the given formatter.

impl Default for CoqProgramBuilder

fn default() -> CoqProgramBuilder

Returns the “default value” for a type.