| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Types.Meet
Description
This code has various wrappers around meet and strengthen
that are here so that we can throw decent error messages if
they fail. The module depends on RefType and Tidy.