Code

Nat generics#54

Code

Merged

utkn merged 4 commits intomainreilabs/lampe:mainfrom us/nat-genericsreilabs/lampe:us/nat-genericsCopy head branch name to clipboardJan 30, 2025

+162-74

Commits

Commits on Jan 29, 2025

• nat generic values

  utkn

  committed
  7bb9ab3

  Copy full SHA for 7bb9ab3

• nat types in generic defs

  utkn

  committed
  4f96920

  Copy full SHA for 4f96920

• nat generics at the extractor

  utkn

  committed
  d4f7e52

  Copy full SHA for d4f7e52

• examples

  utkn

  committed
  af6d9d8

  Copy full SHA for af6d9d8