wiwi

Module nominal

Source
Expand description

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§