Commit 2023-12-21 16:16 da34c254

View on Github →

fix(Data/Option/Defs): Remove Option.rel and Option.maybe, superceded by std4 (#9178) Remove Option.rel and Option.maybe, which have identical definitions to Option.Rel and Option.sequence, and aren't used anywhere.

Estimated changes

deleted def Option.maybe.{u,
deleted inductive Option.rel