Code

Add requires to rust doc#1180

Code

Closed

cmester0 wants to merge 2 commits intomaincryspen/hax:mainfrom rustdoc_macroscryspen/hax:rustdoc_macrosCopy head branch name to clipboard

+11-1

Commits

Commits on Dec 10, 2024

• Add requires to rust doc

  cmester0

  committed
  9a2f48f

  Copy full SHA for 9a2f48f

Commits on Dec 12, 2024

• nicer formatting

  cmester0

  committed
  44ce983

  Copy full SHA for 44ce983