Struct VarInterner 

pub struct VarInterner { /* private fields */ }

Per-goal map from global names to variable indices.

Indices are negative, starting far from zero, so they can never collide with SVar de Bruijn indices (which are non-negative).

Implementations

impl VarInterner

pub fn new() -> Self

pub fn intern(&mut self, name: &str) -> i64

The index for name, allocating a fresh one on first sight.

Trait Implementations

impl Debug for VarInterner

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

Formats the value using the given formatter.

impl Default for VarInterner

fn default() -> VarInterner

Returns the “default value” for a type.