Option_Value union. More...
Option_Value union.
Convenience union to access option values given to the backend