| |||||
| |||||
Synopsis | |||||
| |||||
Documentation | |||||
| |||||
Termination check a sequence of declarations. | |||||
| |||||
The result of termination checking a module is a list of problematic mutual blocks (represented by the names of the functions in the block), along with the ranges for the problematic call sites (call site paths). | |||||
| |||||
| |||||
Produced by Haddock version 2.6.0 |