| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Graph
Description
This module re-exports the data types, operations and serialization functions for representing and computing with constraint dependencies.
Documentation
module Language.Fixpoint.Graph.Deps