Skip to main content

The typed handle interface that prevents contracts from misusing identifiers by encoding domain-specific types into pointers.

Sections

Definition

The typed handle interface that prevents contracts from misusing identifiers by encoding domain-specific types into pointers.

Current section: definition