Documentation

d_CoC_4 ∷ p → p → p → () Source #

data T_CoC_4 Source #

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

d_CoCCase_38 ∷ p → p → () Source #

data T_CoCCase_38 Source #

d_isCoCCase'63'_58 ∷ Integer → T__'8866'_14 → T_Dec_20 Source #

d_CoCForce_142 ∷ p → p → () Source #

data T_CoCForce_142 Source #

d_isCoCForce'63'_162 ∷ Integer → T__'8866'_14 → T_Dec_20 Source #

d_isCaseOfCase'63'_256 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_isCoC'63'_264 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_'46'extendedlambda4_280 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T_CoC_4 → T_Irrelevant_20 Source #

d_'46'extendedlambda5_368 ∷ Integer → T__'8866'_14 → Integer → Integer → T__'8866'_14 → Integer → Integer → (T_Σ_14 → T_Irrelevant_20) → [T__'8866'_14] → [T__'8866'_14] → [T__'8866'_14] → [T__'8866'_14] → [T__'8866'_14] → [T__'8866'_14] → T_CoC_4 → T_Irrelevant_20 Source #

d_'46'extendedlambda6_444 ∷ Integer → [T__'8866'_14] → [T__'8866'_14] → (T_Pointwise_48 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → Integer → Integer → [T__'8866'_14] → [T__'8866'_14] → [T__'8866'_14] → [T__'8866'_14] → T_CoC_4 → T_Irrelevant_20 Source #

d_'46'extendedlambda7_524 ∷ Integer → [T__'8866'_14] → [T__'8866'_14] → (T_Pointwise_48 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → [T__'8866'_14] → [T__'8866'_14] → T_Pointwise_48 → T__'8866'_14 → Integer → Integer → [T__'8866'_14] → [T__'8866'_14] → T_CoC_4 → T_Irrelevant_20 Source #

d_'46'extendedlambda8_608 ∷ Integer → [T__'8866'_14] → [T__'8866'_14] → (T_Pointwise_48 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → [T__'8866'_14] → [T__'8866'_14] → T_Pointwise_48 → [T__'8866'_14] → [T__'8866'_14] → T_Pointwise_48 → T__'8866'_14 → Integer → Integer → T_CoC_4 → T_Irrelevant_20 Source #