Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
specConstrProgram :: ModGuts -> CoreM ModGuts Source #
data SpecConstrAnnotation #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
specConstrProgram :: ModGuts -> CoreM ModGuts Source #
data SpecConstrAnnotation #