| Service | Param | Requirement |
|---|---|---|
| IAstArg | = | NullVerifierError |
| IAstFragment | = | NullVerifierError |
| IAstOperation | = | VerifyOperation |
| IAstSpread | = | NullVerifierError |
| IAstVariable | = | VerifyVariable |
| ValueTuple | = | VerifyVariableUsage |
| ValueTuple | = | VerifyFragmentUsage |
| VerifyFragmentUsage | _definition | IAstFragment |
| _usage | IAstSpread | |
| VerifyOperation | _spreads | IAstSpread |
| _usages | IAstArg | |
| VerifyVariableUsage | _definition | IAstVariable |
| _usage | IAstArg |