Struct CoqExtSourceBuffer 

pub struct CoqExtSourceBuffer {
    pub sections: Vec<String>,
    pub current: String,
    pub indent: usize,
}

Coq source buffer

Fields

sections: Vec<String>

current: String

indent: usize

Implementations

impl CoqExtSourceBuffer

pub fn new() -> Self

pub fn write(&mut self, s: &str)

pub fn write_raw(&mut self, s: &str)

pub fn push_indent(&mut self)

pub fn pop_indent(&mut self)

pub fn commit_section(&mut self)

pub fn finish(self) -> String

Trait Implementations

impl Debug for CoqExtSourceBuffer

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

Formats the value using the given formatter.

impl Default for CoqExtSourceBuffer

fn default() -> CoqExtSourceBuffer

Returns the “default value” for a type.