Struct AlphaCtx 

pub struct AlphaCtx { /* private fields */ }

Context for alpha equivalence checking

Implementations

impl AlphaCtx

pub fn new() -> Self

Create a new empty context

pub fn bind<T>(&mut self, left: &Name<T>, right: &Name<T>) -> (usize, usize)

Bind two names to a fresh identifier

pub fn unbind<T>( &mut self, left: &Name<T>, right: &Name<T>, old: (usize, usize), )

Unbind names (restore old mappings)

pub fn lookup_left<T>(&self, name: &Name<T>) -> usize

Look up a name in the left mapping

pub fn lookup_right<T>(&self, name: &Name<T>) -> usize

Look up a name in the right mapping

Trait Implementations

impl Clone for AlphaCtx

fn clone(&self) -> AlphaCtx

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AlphaCtx

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

Formats the value using the given formatter.

impl Default for AlphaCtx

fn default() -> Self

Returns the “default value” for a type.