Documentation

d_UCSE_6 ∷ p → p → p → () Source #

data T_UCSE_6 Source #

d_UntypedCSE_20 ∷ Integer → T__'8866'_14 → T__'8866'_14 → () Source #

d_isUntypedCSE'63'_22 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_38 Source #

d_isUCSE'63'_24 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_38 Source #

d_'46'extendedlambda0_40 ∷ Integer → T__'8866'_14 → (T_Let'7510'_In'7510'__1032 → T_Irrelevant_20) → T__'8866'_14 → T_UCSE_6 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_68 ∷ Integer → T__'8866'_14 → (T__'8712''8595'__10 → T_Irrelevant_20) → T__'8866'_14 → T__'8866'_14 → T_UCSE_6 → T_Irrelevant_20 Source #

d_'46'extendedlambda2_106 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (T_Translation_8 → T_Irrelevant_20) → () → () → T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 → AgdaAny → AgdaAny → T__'8712''8595'__10 → T_UCSE_6 → T_Irrelevant_20 Source #

d_M'8321'_124 ∷ T__'8866'_14 Source #

d_N'8321'_126 ∷ T__'8866'_14 Source #

d_M'8322'_130 ∷ T__'8866'_14 Source #

d_N'8322'_132 ∷ T__'8866'_14 Source #

d_M'8323'_136 ∷ T__'8866'_14 Source #

d_N'8323'_138 ∷ T__'8866'_14 Source #