Code

Put Option into the prelude#444

Code

Merged

danakj merged 3 commits intochromium:mainchromium/subspace:mainfrom danakj:option-preludedanakj/subspace:option-preludeCopy head branch name to clipboardDec 20, 2023

+491-408

Commits

Commits on Dec 20, 2023

• Put Option into the prelude

  Show description for 4d30c0f
  danakj

  committed
  4d30c0f

  Copy full SHA for 4d30c0f

• Document the prelude and make its import configurable

  danakj

  committed
  09da844

  Copy full SHA for 09da844

• Document Choice::Tag and remove unintended macros from being public

  danakj

  committed
  a36b35a

  Copy full SHA for a36b35a