Code

Option existential quantifiers#124

Code

Open

jmagaram wants to merge 1 commit intorescript-lang:mainrescript-lang/rescript-core:mainfrom jmagaram:optionExistsjmagaram/rescript-core:optionExistsCopy head branch name to clipboard

+192-3

Commits

Commits on Jul 19, 2023

• Option.exists and Option.isNoneOr

  Show description for 8acbc2d
  jmagaram

  committed
  8acbc2d

  Copy full SHA for 8acbc2d