Safe Haskell	None

MAlonzo.Code.Algebra.Consequences.Setoid

Documentation

d__Absorbs__36 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d__DistributesOver__38 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d__DistributesOver'691'__40 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d__DistributesOver'737'__42 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_AlmostLeftCancellative_50 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_AlmostRightCancellative_52 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Associative_54 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Commutative_58 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Congruent'8322'_62 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Identity_70 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Inverse_74 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_LeftCancellative_78 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_LeftIdentity_90 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_LeftInverse_92 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_LeftZero_94 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_RightCancellative_96 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_RightIdentity_108 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_RightInverse_110 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_RightZero_112 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Zero_116 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_comm'43'cancel'737''8658'cancel'691'_150 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_comm'43'cancel'737''8658'cancel'691'_150 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_comm'43'cancel'691''8658'cancel'737'_162 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_comm'43'cancel'691''8658'cancel'737'_162 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_comm'43'id'737''8658'id'691'_184 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_comm'43'id'737''8658'id'691'_184 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_comm'43'id'691''8658'id'737'_190 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_comm'43'id'691''8658'id'737'_190 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_comm'43'id'737''8658'id_196 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_comm'43'id'737''8658'id_196 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_comm'43'id'691''8658'id_200 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_comm'43'id'691''8658'id_200 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_comm'43'ze'737''8658'ze'691'_204 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_comm'43'ze'737''8658'ze'691'_204 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_comm'43'ze'691''8658'ze'737'_210 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_comm'43'ze'691''8658'ze'737'_210 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_comm'43'ze'737''8658'ze_216 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_comm'43'ze'737''8658'ze_216 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_comm'43'ze'691''8658'ze_220 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_comm'43'ze'691''8658'ze_220 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_comm'43'almostCancel'737''8658'almostCancel'691'_224 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny Source #

du_comm'43'almostCancel'737''8658'almostCancel'691'_224 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny Source #

d_comm'43'almostCancel'691''8658'almostCancel'737'_238 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny Source #

du_comm'43'almostCancel'691''8658'almostCancel'737'_238 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny Source #

d_comm'43'inv'737''8658'inv'691'_264 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_comm'43'inv'737''8658'inv'691'_264 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_comm'43'inv'737''8658'inv_270 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_comm'43'inv'737''8658'inv_270 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_comm'43'inv'691''8658'inv'737'_274 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_comm'43'inv'691''8658'inv'737'_274 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_comm'43'inv'691''8658'inv_280 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_comm'43'inv'691''8658'inv_280 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_assoc'43'id'43'inv'691''8658'inv'737''45'unique_300 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_assoc'43'id'43'inv'691''8658'inv'737''45'unique_300 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_assoc'43'id'43'inv'737''8658'inv'691''45'unique_320 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_assoc'43'id'43'inv'737''8658'inv'691''45'unique_320 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_comm'43'distr'737''8658'distr'691'_348 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_comm'43'distr'737''8658'distr'691'_348 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_comm'43'distr'691''8658'distr'737'_358 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_comm'43'distr'691''8658'distr'737'_358 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_comm'43'distr'737''8658'distr_368 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_comm'43'distr'737''8658'distr_368 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_comm'43'distr'691''8658'distr_372 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_comm'43'distr'691''8658'distr_372 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_comm'8658'sym'91'distrib'737''93'_382 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_comm'8658'sym'91'distrib'737''93'_382 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_distrib'43'absorbs'8658'distrib'737'_406 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_distrib'43'absorbs'8658'distrib'737'_406 :: T_Setoid_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_subst'43'comm'8658'sym_480 :: T_Setoid_44 -> T_Level_14 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> ((AgdaAny -> ()) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_subst'43'comm'8658'sym_480 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> ((AgdaAny -> ()) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_wlog_494 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Level_14 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> ((AgdaAny -> ()) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T__'8846'__30) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_wlog_494 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> ((AgdaAny -> ()) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8846'__30) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #