Struct FreshNameSeq 

pub struct FreshNameSeq { /* private fields */ }

Utility for generating sequences of fresh variable names in a context.

Implementations

impl FreshNameSeq

pub fn new(base: &str) -> Self

Create a fresh name sequence with the given base.

pub fn next(&mut self) -> Name

Generate the next fresh name.

pub fn reserve(&mut self, name: &str)

Mark a name as used (won’t be generated).

pub fn count(&self) -> usize

Number of names generated so far.

Trait Implementations

impl Clone for FreshNameSeq

fn clone(&self) -> FreshNameSeq

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FreshNameSeq

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

Formats the value using the given formatter.