Metafunction that determines if a a choice (tuple of types) conforms to an option, which may or may not contain don't cares. More...
Metafunction that determines if a a choice (tuple of types) conforms to an option, which may or may not contain don't cares.