Documentation

d_AllForced_16 ∷ p → p → p → () Source #

data T_AllForced_16 Source #

d_isAllForced'63'_84 ∷ Integer → T_Fin_10 → T__'8866'_14 → T_Dec_20 Source #

d_'46'extendedlambda0_136 ∷ Integer → T__'8866'_14 → T_Fin_10 → (T_AllForced_16 → T_Irrelevant_20) → (T_isVar_14 → T_Irrelevant_20) → T_AllForced_16 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_180 ∷ Integer → T_Fin_10 → (T_isForce_268 → T_Irrelevant_20) → T_AllForced_16 → T_Irrelevant_20 Source #

d_'46'extendedlambda2_224 ∷ Integer → T__'8866'_14 → T_Fin_10 → (T_AllForced_16 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → T_AllForced_16 → T_Irrelevant_20 Source #

d_'46'extendedlambda3_262 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Fin_10 → (T_Σ_14 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → T_AllForced_16 → T_Irrelevant_20 Source #

d_'46'extendedlambda4_274 ∷ Integer → T__'8866'_14 → (T_isForce_268 → T_Irrelevant_20) → T_Fin_10 → T_AllForced_16 → T_Irrelevant_20 Source #

d_'46'extendedlambda5_304 ∷ Integer → T__'8866'_14 → T_Fin_10 → (T_AllForced_16 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → T_AllForced_16 → T_Irrelevant_20 Source #

d_'46'extendedlambda6_346 ∷ Integer → [T__'8866'_14] → T_Fin_10 → (T_All_44 → T_Irrelevant_20) → Integer → (T_isForce_268 → T_Irrelevant_20) → T_AllForced_16 → T_Irrelevant_20 Source #

d_'46'extendedlambda7_384 ∷ Integer → T__'8866'_14 → [T__'8866'_14] → T_Fin_10 → (T_Σ_14 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → T_AllForced_16 → T_Irrelevant_20 Source #

d_subs'45'delay_404 ∷ Integer → T_Fin_10 → T__'8866'_14 → T__'8866'_14 Source #

du_subs'45'delay_404 ∷ T_Fin_10 → T__'8866'_14 → T__'8866'_14 Source #

d_FlD_464 ∷ p → p → p → () Source #

data T_FlD_464 Source #

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

d_isFloatDelay'63'_488 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_isFlD'63'_492 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_'46'extendedlambda8_508 ∷ Integer → T__'8866'_14 → (T_isApp_142 → T_Irrelevant_20) → T__'8866'_14 → T_FlD_464 → T_Irrelevant_20 Source #

d_'46'extendedlambda9_538 ∷ Integer → T__'8866'_14 → (T_isApp_142 → T_Irrelevant_20) → T__'8866'_14 → T__'8866'_14 → T_FlD_464 → T_Irrelevant_20 Source #

d_'46'extendedlambda10_582 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T__'8866'_14 → T_FlD_464 → T_Irrelevant_20 Source #

d_'46'extendedlambda11_630 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T__'8866'_14 → T_Translation_12 → T_FlD_464 → T_Irrelevant_20 Source #

d_'46'extendedlambda12_676 ∷ Integer → T__'8866'_14 → (T_Pure_6 → T_Irrelevant_20) → T__'8866'_14 → T_Translation_12 → T__'8866'_14 → T__'8866'_14 → T_Translation_12 → T_FlD_464 → T_Irrelevant_20 Source #