feat: generalize withSetOptionIn to arbitrary result types - #14581

feat: generalize withSetOptionIn to arbitrary result types#14581

wkrozowski merged 1 commit into

leanprover:masterleanprover/lean4:masterfrom

marcelolynch:generalize-withSetOptionInmarcelolynch/lean4:generalize-withSetOptionInCopy head branch name to clipboard