Type Alias ValidationResult

ValidationResult:
| { ok: true; warnings: SemanticWarning[] }
| { error: ValidationError; ok: false; warnings: SemanticWarning[] }

Outcome of validateBlock: either valid (with any semantic warnings) or invalid (with the syntax error and any warnings collected so far).