Module handle

Well-typed indices into Arenas and UniqueArenas.

This module defines Handle and related types.

Structs

BadHandle

Handle

A strongly typed reference to an arena item.

Type Aliases

Index

An unique index in the arena array that a handle points to. The “non-max” part ensures that an Option<Handle<T>> has the same size and representation as Handle<T>.