Documentation

d__IdempotentOn__106 :: T_Level_14 -> T_Level_14 -> T_Monoid_502 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> () Source #

d__'215'__182 :: T_Level_14 -> T_Level_14 -> T_Monoid_502 -> Integer -> AgdaAny -> AgdaAny Source #

du__'215'__182 :: T_Monoid_502 -> Integer -> AgdaAny -> AgdaAny Source #

d_'215''45'cong'691'_188 :: T_Level_14 -> T_Level_14 -> T_Monoid_502 -> Integer -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'215''45'cong'691'_188 :: T_Monoid_502 -> Integer -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'215''45'cong_196 :: T_Level_14 -> T_Level_14 -> T_Monoid_502 -> Integer -> Integer -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny -> AgdaAny Source #

du_'215''45'cong_196 :: T_Monoid_502 -> Integer -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'215''45'homo'45''43'_208 :: T_Level_14 -> T_Level_14 -> T_Monoid_502 -> AgdaAny -> Integer -> Integer -> AgdaAny Source #

du_'215''45'homo'45''43'_208 :: T_Monoid_502 -> AgdaAny -> Integer -> Integer -> AgdaAny Source #

d_'215''45'idem_226 :: T_Level_14 -> T_Level_14 -> T_Monoid_502 -> AgdaAny -> AgdaAny -> Integer -> T_NonZero_76 -> AgdaAny Source #

du_'215''45'idem_226 :: T_Monoid_502 -> AgdaAny -> AgdaAny -> Integer -> AgdaAny Source #

d_'215''45'assoc'737'_244 :: T_Level_14 -> T_Level_14 -> T_Monoid_502 -> AgdaAny -> Integer -> Integer -> AgdaAny Source #

du_'215''45'assoc'737'_244 :: T_Monoid_502 -> AgdaAny -> Integer -> Integer -> AgdaAny Source #