Documentation

d_CaseReduce_4 ∷ p → p → p → () Source #

data T_CaseReduce_4 Source #

d_isCaseReduce'63'_26 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_justEq_34 ∷ () → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #

d_isCR'63'_42 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_'46'extendedlambda0_58 ∷ Integer → T__'8866'_14 → (T_isCase_574 → T_Irrelevant_20) → T__'8866'_14 → T_CaseReduce_4 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_86 ∷ Integer → [T__'8866'_14] → Integer → T__'8801'__12 → [T__'8866'_14] → T__'8866'_14 → T_CaseReduce_4 → T_Irrelevant_20 Source #

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 Source #

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 Source #

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

d_ast'8321'_152 ∷ T__'8866'_14 Source #

d_ast'8321'''_154 ∷ T__'8866'_14 Source #

d_ast_158 ∷ T__'8866'_14 Source #

d_ast''_160 ∷ T__'8866'_14 Source #

d_ex1_162 ∷ T__'8866'_14 Source #

d_ex2_164 ∷ T__'8866'_14 Source #