Repository navigation

feat: generalize withSetOptionIn to arbitrary result types - #14581

Merged

wkrozowski merged 1 commit into

leanprover:masterfrom

marcelolynch:generalize-withSetOptionIn

Jul 29, 2026

Merged

feat: generalize withSetOptionIn to arbitrary result types#14581
wkrozowski merged 1 commit into
leanprover:masterfrom
marcelolynch:generalize-withSetOptionIn

Commits on Jul 29, 2026
- feat: generalize withSetOptionIn to arbitrary result types
  
  authored and
  Wojciech Rozowski
  committed
  47b10a0