Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
MAlonzo.Code.VerifiedCompilation.UCSE
Documentation
d_UntypedCSE_26 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → () Source #
d_isUntypedCSE'63'_32 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #
d_isUCSE'63'_38 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #
d_'46'extendedlambda0_54 ∷ () → T__'8866'_14 → (T_isApp_142 → T_Irrelevant_20) → T_DecEq_6 → T__'8866'_14 → T_UCSE_4 → T_Irrelevant_20 Source #
d_'46'extendedlambda1_88 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T__'8866'_14 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_UCSE_4 → T_Irrelevant_20 Source #