Struct CoqNameScope 

pub struct CoqNameScope {
    pub names: Vec<HashMap<String, String>>,
}

Coq name scope

Fields

names: Vec<HashMap<String, String>>

Implementations

impl CoqNameScope

pub fn new() -> Self

pub fn push(&mut self)

pub fn pop(&mut self)

pub fn bind(&mut self, name: &str, coq_name: &str)

pub fn lookup(&self, name: &str) -> Option<&String>

Trait Implementations

impl Debug for CoqNameScope

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

Formats the value using the given formatter.

impl Default for CoqNameScope

fn default() -> CoqNameScope

Returns the “default value” for a type.