plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple

Documentation

d__IsRelatedTo__78 ∷ p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → () Source #

d_start_96T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAny Source #

d_'8801''45'go_104T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__'8801'__12T__IsRelatedTo__78T__IsRelatedTo__78 Source #

d_'46'extendedlambda0_110T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__'8801'__12AgdaAnyT__'8801'__12AgdaAny Source #

d_'46'extendedlambda1_116T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__'8801'__12AgdaAnyT__'8801'__12AgdaAny Source #

d_'46'extendedlambda2_122T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__'8801'__12AgdaAnyT__'8801'__12AgdaAny Source #

d_'8776''45'go_124T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78T__IsRelatedTo__78 Source #

d_'8804''45'go_138T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78T__IsRelatedTo__78 Source #

d_'60''45'go_152T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78T__IsRelatedTo__78 Source #

d_stop_166T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyT__IsRelatedTo__78 Source #

d_IsStrict_172 ∷ p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → () Source #

d_IsStrict'63'_188T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__IsRelatedTo__78T_Dec_20 Source #

d_extractStrict_198T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__IsRelatedTo__78T_IsStrict_172AgdaAny Source #

d_strictRelation_202T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_SubRelation_60 Source #

d_IsEquality_208 ∷ p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → () Source #

d_IsEquality'63'_224T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__IsRelatedTo__78T_Dec_20 Source #

d_extractEquality_234T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__IsRelatedTo__78T_IsEquality_208AgdaAny Source #

d_eqRelation_238T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_SubRelation_60 Source #

d_begin__242T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAny Source #

d_begin__246T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAnyAgdaAny Source #

d_begin__250T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAnyAgdaAny Source #

d_begin'45'contradiction__254T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyT__IsRelatedTo__78AgdaAnyT_Level_18 → () → AgdaAny Source #

d_step'45''8801'_258T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78T__'8801'__12T__IsRelatedTo__78 Source #

d_step'45''8801''45''8739'_260T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT__IsRelatedTo__78T__IsRelatedTo__78 Source #

d_step'45''8801''728'_266T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78T__'8801'__12T__IsRelatedTo__78 Source #

d_step'45''8776'_270T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAnyT__IsRelatedTo__78 Source #

d_step'45''8776''45''10216'_272T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAnyT__IsRelatedTo__78 Source #

d_step'45''8776''45''10217'_274T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAnyT__IsRelatedTo__78 Source #

d_step'45''8776''728'_276T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAnyT__IsRelatedTo__78 Source #

d_step'45''8804'_280T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAnyT__IsRelatedTo__78 Source #

d_step'45''60'_284T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT__IsRelatedTo__78AgdaAnyT__IsRelatedTo__78 Source #

d__'8718'_288T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPreorder_70 → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Irrelevant_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Σ_14 → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyT__IsRelatedTo__78 Source #