liquidhaskell-boot-0.9.6.3: Liquid Types for Haskell
Quick Jump
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell98
Language.Haskell.Liquid.Termination.Structural
Documentation
terminationVars
::
TargetInfo
-> [
Var
]
Source
#