Documentation

d_DecEq_6 ∷ p → () Source #

newtype T_DecEq_6 Source #

d__'8799'__12 ∷ T_DecEq_6 → AgdaAny → AgdaAny → T_Dec_20 Source #

d__'8799'__16 ∷ T_DecEq_6 → AgdaAny → AgdaAny → T_Dec_20 Source #

d_decEq'45'TmCon_18 ∷ T_TmCon_198 → T_TmCon_198 → T_Dec_20 Source #

d_decEq'45'TyTag_20 ∷ T__'8866''9839'_4 → T__'8866''9839'_4 → T_Dec_20 Source #

d_decEq'45''10214'_'10215'tag_24 ∷ T__'8866''9839'_4 → AgdaAny → AgdaAny → T_Dec_20 Source #

d_decPointwise_36 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → T_Dec_20 Source #

du_decPointwise_36 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → T_Dec_20 Source #

d_'46'extendedlambda0_92 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → AgdaAny → [AgdaAny] → AgdaAny → (T_Pointwise_48 → T_Irrelevant_20) → T_Pointwise_48 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_108 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → AgdaAny → [AgdaAny] → (AgdaAny → T_Irrelevant_20) → T_Dec_20 → T_Pointwise_48 → T_Irrelevant_20 Source #

d_decEq'45''8866'_116 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_decEq'45''8866'_116 ∷ T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_DecEq'45'Maybe_122 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'Maybe_122 ∷ T_DecEq_6 → T_DecEq_6 Source #

d_EmptyEq_128 ∷ T_DecEq_6 Source #

d_DecAtomicTyCon_130 ∷ T_DecEq_6 Source #

d_DecEq'45'TmCon_132 ∷ T_DecEq_6 Source #

d_DecEq'45''8866'_138 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45''8866'_138 ∷ T_DecEq_6 → T_DecEq_6 Source #

d_DecEq'45'List'45''8866'_144 ∷ () → T_DecEq_6 → T_DecEq_6 Source #

du_DecEq'45'List'45''8866'_144 ∷ T_DecEq_6 → T_DecEq_6 Source #

d_DecEq'45'Builtin_146 ∷ T_DecEq_6 Source #

d_DecEq'45'ℕ_148 ∷ T_DecEq_6 Source #

d_DecEq'45'ℤ_150 ∷ T_DecEq_6 Source #

d_DecEq'45'TyTag_152 ∷ T_DecEq_6 Source #

d_'46'extendedlambda2_172 ∷ T_AtomicTyCon_6 → T_AtomicTyCon_6 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda3_206 ∷ T__'8866''9839'_4 → T__'8866''9839'_4 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda4_256 ∷ T__'8866''9839'_4 → T__'8866''9839'_4 → T__'8866''9839'_4 → T__'8866''9839'_4 → (T_Σ_14 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_HsEq_260 ∷ p → () Source #

newtype T_HsEq_260 Source #

d_hsEq_266 ∷ T_HsEq_260 → AgdaAny → AgdaAny → Bool Source #

d_hsEq_270 ∷ T_HsEq_260 → AgdaAny → AgdaAny → Bool Source #

d_magicNeg_278 ∷ a Source #

d_magicBoolDec_286 ∷ () → AgdaAny → AgdaAny → Bool → T_Dec_20 Source #

du_magicBoolDec_286 ∷ Bool → T_Dec_20 Source #

d_builtinEq_292 ∷ () → T_HsEq_260 → AgdaAny → AgdaAny → T_Dec_20 Source #

du_builtinEq_292 ∷ T_HsEq_260 → AgdaAny → AgdaAny → T_Dec_20 Source #

d_HsEqBytestring_298 ∷ T_HsEq_260 Source #

d_HsEqBlsG1_300 ∷ T_HsEq_260 Source #

d_HsEqBlsG2_302 ∷ T_HsEq_260 Source #

d_HsEqBlsMlResult_304 ∷ T_HsEq_260 Source #

d_'46'extendedlambda5_350 ∷ T__'8866''9839'_4 → AgdaAny → AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → T_List_382 AgdaAny → T_List_382 AgdaAny → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda6_388 ∷ T__'8866''9839'_4 → T_List_382 AgdaAny → T_List_382 AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → AgdaAny → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda7_432 ∷ T__'8866''9839'_4 → T__'8866''9839'_4 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda8_456 ∷ T__'8866''9839'_4 → T__'8866''9839'_4 → (T__'8801'__12 → T_Irrelevant_20) → AgdaAny → AgdaAny → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda9_488 ∷ T__'8866''9839'_4 → AgdaAny → AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda10_508 ∷ () → T_DecEq_6 → AgdaAny → AgdaAny → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda11_574 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda12_654 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda13_732 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda14_796 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda15_860 ∷ T_TmCon_198 → T_TmCon_198 → (T__'8801'__12 → T_Irrelevant_20) → () → T_DecEq_6 → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda16_948 ∷ () → T_DecEq_6 → Integer → [T__'8866'_14] → Integer → [T__'8866'_14] → (T_Σ_14 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda17_1044 ∷ () → T_DecEq_6 → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 → [T__'8866'_14] → (T_Σ_14 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'46'extendedlambda18_1112 ∷ T_Builtin_2 → T_Builtin_2 → (T__'8801'__12 → T_Irrelevant_20) → () → T_DecEq_6 → T__'8801'__12 → T_Irrelevant_20 Source #