| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.VerifiedCompilation.UApplyToCase
Documentation
d_ApplyToCase_4 :: p -> p -> p -> () #
newtype T_ApplyToCase_4 #
Constructors
| C_a2c_16 T_Translation_12 |
d_a2c'63'_32 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38 #
d_'46'extendedlambda0_48 :: Integer -> T__'8866'_14 -> (T_case'7510'_926 -> T_Irrelevant_20) -> T__'8866'_14 -> T_ApplyToCase_4 -> T_Irrelevant_20 #
d_'46'extendedlambda1_94 :: Integer -> T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14 -> T__'8866'_14 -> (T_Translation_12 -> T_Irrelevant_20) -> () -> () -> T_SimplifierTag_4 -> AgdaAny -> AgdaAny -> T_ApplyToCase_4 -> T_Irrelevant_20 #
d_UApplyToCase_98 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> () #