| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.VerifiedCompilation.NotImplemented
Documentation
d_Policy_4 ∷ () Source #
data T_Policy_4 Source #
Constructors
| C_accept_6 | |
| C_reject_8 |
d_NotImplemented_12 ∷ p → p → p → p → () Source #
data T_NotImplemented_12 Source #
Constructors
| C_notImplemented_20 |