Module util

Structs

SymbolGen

Generates fresh symbols for internal use during typechecking and flattening. These are guaranteed not to collide with the user’s symbols because they use a reserved prefix.

Constants

INTERNAL_SYMBOL_PREFIX

Traits

FreshGen

This trait lets us statically dispatch between fresh methods for generic structs.

Type Aliases

IndexMap

IndexSet