return to top
source
Lowering pass well-formedness and semantic correctness for the first-order forward fragment.