History log of /seL4-l4v-master/l4v/lib/ml-helpers/OptionExtras.ML
Revision Date Author Comments
# a424d55e 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX
# 8ffebe8f 20-Aug-2019 Edward Pierzchalski <ed.pierzchalski@data61.csiro.au>

lib: add utilities for using options.