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