| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.VerifiedCompilation.UCaseReduce
Documentation
d_CaseReduce_4 :: p -> p -> p -> () #
data T_CaseReduce_4 #
Constructors
| C_casereduce_18 T__'8866'_14 T_Translation_12 |
d_isCaseReduce'63'_26 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38 #
d_justEq_34 :: () -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 #
d_isCR'63'_42 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38 #
d_'46'extendedlambda0_58 :: Integer -> T__'8866'_14 -> (T_isCase_576 -> T_Irrelevant_20) -> T__'8866'_14 -> T_CaseReduce_4 -> T_Irrelevant_20 #
d_'46'extendedlambda1_86 :: Integer -> [T__'8866'_14] -> Integer -> T__'8801'__12 -> [T__'8866'_14] -> T__'8866'_14 -> T_CaseReduce_4 -> T_Irrelevant_20 #
d_'46'extendedlambda2_90 :: Integer -> [T__'8866'_14] -> Integer -> T__'8801'__12 -> [T__'8866'_14] -> T__'8866'_14 -> T__'8866'_14 -> T__'8801'__12 -> T_Translation_12 -> T__'8801'__12 -> T_Irrelevant_20 #
d_'46'extendedlambda3_142 :: Integer -> T__'8866'_14 -> [T__'8866'_14] -> T__'8866'_14 -> (T_Translation_12 -> T_Irrelevant_20) -> () -> () -> T_SimplifierTag_4 -> AgdaAny -> AgdaAny -> [T__'8866'_14] -> Integer -> T__'8801'__12 -> T_CaseReduce_4 -> T_Irrelevant_20 #
d_UCaseReduce_150 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> () #