Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Defines CutOff
type which is used in Agda.Interaction.Options.
This module's purpose is to eliminate the dependency of
Agda.TypeChecking.Monad.Base on the termination checker and
everything it imports.
- data CutOff
- = CutOff Int
- | DontCutOff