Struct ErasedSubstMap 

pub struct ErasedSubstMap { /* private fields */ }

A substitution map from de Bruijn index to erased expression.

Implementations

impl ErasedSubstMap

pub fn new() -> Self

Creates a new empty substitution map.

pub fn insert(&mut self, i: u32, expr: ErasedExpr)

Inserts a substitution for de Bruijn index i.

pub fn get(&self, i: u32) -> Option<&ErasedExpr>

Looks up the substitution for de Bruijn index i.

pub fn len(&self) -> usize

Returns the number of entries in the map.

pub fn is_empty(&self) -> bool

Returns true if the map is empty.

Trait Implementations

impl Default for ErasedSubstMap

fn default() -> Self

Returns the “default value” for a type.