Silvan Mosberger 68955fe612 lib/types: Introduce mkOptionType occurringTypes argument
This will be used to issue deprecation warnings recursively in the next
commit

In addition, this allows easily getting nested types of other options, which
is useful when you want to create an option that aliases a part of
another one.
2021-05-03 22:15:30 +02:00
..
2021-04-23 22:23:25 +00:00
2021-01-25 19:25:50 +01:00
2021-04-28 21:44:21 +00:00
2017-09-16 21:36:43 -04:00
2021-04-01 14:29:57 +02:00
2018-11-22 08:59:48 +00:00
2020-06-04 13:43:10 +02:00
2021-04-28 21:44:21 +00:00
2019-09-26 17:42:42 +02:00