Copyright | (c) 2013-2015 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Documentation
type MGU = (Subst, [Prop]) Source
The most general unifier is a substitution and a set of constraints on bound variables.
data UnificationError Source
uniError :: UnificationError -> Result a Source