Type Alias Generics 

type Generics<'db> = Map<SymVariable<'db>, SymGenericTerm<'db>>;

Aliased Type

struct Generics<'db> { /* private fields */ }