Check a PFA abstract syntax tree for semantic errors using a titus.pfaast.NoTask to avoid unnecessary work.
Raises an exception if the document is not valid.
| Parameters: |
|
|---|---|
| Return type: | None |
| Returns: | nothing if the PFA document is valid; raises an exception otherwise |