Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add Features to OptionalCell #1034
Pull Request Overview
This pull request adds some normal Option functions to OptionalCell.
Actual uses coming in due time.
This pull request was tested by compiling.
TODO or Help Wanted