Enum BoundVarLayerMap 

pub enum BoundVarLayerMap {
    LayerMap(UnordMap<BoundVar, BoundVarName>),
    FnRootLayerMap(FnRootLayerMap),
}

Variants

LayerMap(UnordMap<BoundVar, BoundVarName>)

FnRootLayerMap(FnRootLayerMap)

We treat vars at the function root differently. The UnordMap functions the same as in a regular layer (i.e. giving names to anonymous bound vars), but we additionally track a set of boundvars that have been seen previously.

This set is used to render a signature like

fn(usize[@n], usize[n]) -> usize[#m] ensures m > 0

The first time we visit n, we’ll add the @, but the second time we’ll track that we’ve seen it and won’t.

We do the same thing for m but with a different layer.

This is a behavior we only do for bound vars at the fn root level.

Implementations

impl BoundVarLayerMap

fn name_map(&self) -> &UnordMap<BoundVar, BoundVarName>

Trait Implementations

impl Clone for BoundVarLayerMap

fn clone(&self) -> BoundVarLayerMap

Returns a duplicate of the value.

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

Performs copy-assignment from source.