basic): bind_eq_none' (#1312)

Commit

7 years ago

feat(data/option/basic): bind_eq_none' (#1312) * feat(data/option/basic): bind_eq_none' * Update basic.lean * fix build and add simp

References

Author

ChrisHughes24

Committer

mergify[bot]

Parents