Crate junglefowl_macros

source ·
Expand description

Macros to make interesting types to reason with.

Macros

  • peano
    Create a unique type representing the given number.