Structure
Semantic.Analyses.HasExactlyOne
Checks a parent directive for the presence of exactly one child directive to be converted to a type Result. If so, return that child and the remainder.
struct HasExactlyOne<Parent, Child> where Parent : Semantic, Parent : DirectiveConvertible, Child : Semantic, Child : DirectiveConvertible