Documentation

d_'8709''63'_20 ∷ T_Level_18 → () → AgdaAny → T_Dec_32 Source #

du_'8709''63'_20 ∷ T_Dec_32 Source #

d_'8709''45'Empty_22 ∷ T_Level_18 → () → AgdaAny → T_'8869'_4 → T_'8869'_4 Source #

d_'8705''8709''45'Universal_26 ∷ T_Level_18 → () → AgdaAny → T_'8869'_4 → T_'8869'_4 Source #

d_U'63'_32 ∷ T_Level_18 → () → AgdaAny → T_Dec_32 Source #

du_U'63'_32 ∷ T_Dec_32 Source #

d_U'45'Universal_34 ∷ T_Level_18 → () → AgdaAny → T_'8868'_6 Source #

du_U'45'Universal_34 ∷ T_'8868'_6 Source #

d_'8705'U'45'Empty_38 ∷ T_Level_18 → () → AgdaAny → (T_'8868'_6 → T_'8869'_4) → T_'8869'_4 Source #

d_'8709''45''8838'_46 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → T_'8869'_4 → AgdaAny Source #

du_'8709''45''8838'_46 ∷ AgdaAny Source #

d_'8838''45'U_52 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → T_'8868'_6 Source #

du_'8838''45'U_52 ∷ T_'8868'_6 Source #

d_'8838''45'refl_56 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → AgdaAny Source #

du_'8838''45'refl_56 ∷ AgdaAny → AgdaAny Source #

d_'8838''45'trans_60 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_'8838''45'trans_60 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_'8834''45'asym_68 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → T_Σ_14 → T_Σ_14 → T_'8869'_4 Source #

d_'8705''63'_74 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → AgdaAny → T_Dec_32 Source #

du_'8705''63'_74 ∷ (AgdaAny → T_Dec_32) → AgdaAny → T_Dec_32 Source #

d__'8746''63'__84 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → AgdaAny → T_Dec_32 Source #

du__'8746''63'__84 ∷ (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → AgdaAny → T_Dec_32 Source #

d__'8745''63'__96 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → AgdaAny → T_Dec_32 Source #

du__'8745''63'__96 ∷ (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → AgdaAny → T_Dec_32 Source #

d__'215''63'__108 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → T_Σ_14 → T_Dec_32 Source #

du__'215''63'__108 ∷ (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → T_Σ_14 → T_Dec_32 Source #

d__'8857''63'__122 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → T_Σ_14 → T_Dec_32 Source #

du__'8857''63'__122 ∷ (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → T_Σ_14 → T_Dec_32 Source #

d__'8846''63'__136 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → T__'8846'__30 → T_Dec_32 Source #

du__'8846''63'__136 ∷ (AgdaAny → T_Dec_32) → (AgdaAny → T_Dec_32) → T__'8846'__30 → T_Dec_32 Source #

d__'126''63'_152 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (T_Σ_14 → ()) → (T_Σ_14 → T_Dec_32) → T_Σ_14 → T_Dec_32 Source #

du__'126''63'_152 ∷ (T_Σ_14 → T_Dec_32) → T_Σ_14 → T_Dec_32 Source #