Module nominal

Utilities for nominal typing

Macros

nominal

Declare a new nominal type (alias), with the provided name, a name for the marker type struct, and the wrapped type

nominal_mod

Declare many new nominal types (aliases), in a module

Structs

Nominal

Nominal wrapper struct