Documentation

d__'8804''7495'__14 :: Integer -> Integer -> Bool #

d__'8804'__22 :: p -> p -> () #

data T__'8804'__22 #

d__'60'__36 :: Integer -> Integer -> () #

d_s'8804's'8315''185'_62 :: Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 #

du_s'8804's'8315''185'_62 :: T__'8804'__22 -> T__'8804'__22 #

d_s'60's'8315''185'_70 :: Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 #

du_s'60's'8315''185'_70 :: T__'8804'__22 -> T__'8804'__22 #

d__'8805'__74 :: Integer -> Integer -> () #

d__'62'__80 :: Integer -> Integer -> () #

d__'8816'__86 :: Integer -> Integer -> () #

d__'8814'__92 :: Integer -> Integer -> () #

d__'8817'__98 :: Integer -> Integer -> () #

d__'8815'__104 :: Integer -> Integer -> () #

d_NonZero_112 :: p -> () #

newtype T_NonZero_112 #

d_nonZero_118 :: T_NonZero_112 -> AgdaAny #

d_nonZero_122 :: Integer -> T_NonZero_112 #

du_nonZero_122 :: T_NonZero_112 #

d_'8802''45'nonZero_126 :: Integer -> (T__'8801'__12 -> T_Irrelevant_20) -> T_NonZero_112 #

du_'8802''45'nonZero_126 :: Integer -> T_NonZero_112 #

d_'62''45'nonZero_136 :: Integer -> T__'8804'__22 -> T_NonZero_112 #

du_'62''45'nonZero_136 :: T__'8804'__22 -> T_NonZero_112 #

d_'8802''45'nonZero'8315''185'_140 :: Integer -> T_NonZero_112 -> T__'8801'__12 -> T_Irrelevant_20 #

d_'62''45'nonZero'8315''185'_146 :: Integer -> T_NonZero_112 -> T__'8804'__22 #

du_'62''45'nonZero'8315''185'_146 :: T__'8804'__22 #

d_NonTrivial_152 :: p -> () #

newtype T_NonTrivial_152 #

d_nonTrivial_158 :: T_NonTrivial_152 -> AgdaAny #

d_nonTrivial_162 :: Integer -> T_NonTrivial_152 #

du_nonTrivial_162 :: T_NonTrivial_152 #

d_n'62'1'8658'nonTrivial_166 :: Integer -> T__'8804'__22 -> T_NonTrivial_152 #

du_n'62'1'8658'nonTrivial_166 :: T__'8804'__22 -> T_NonTrivial_152 #

d_nonTrivial'8658'nonZero_170 :: Integer -> T_NonTrivial_152 -> T_NonZero_112 #

du_nonTrivial'8658'nonZero_170 :: T_NonZero_112 #

d_nonTrivial'8658'n'62'1_174 :: Integer -> T_NonTrivial_152 -> T__'8804'__22 #

du_nonTrivial'8658'n'62'1_174 :: T__'8804'__22 #

d_nonTrivial'8658''8802'1_178 :: Integer -> T_NonTrivial_152 -> T__'8801'__12 -> T_Irrelevant_20 #

d_'43''45'rawMagma_180 :: T_RawMagma_36 #

d_'43''45'0'45'rawMonoid_182 :: T_RawMonoid_64 #

d_'42''45'rawMagma_184 :: T_RawMagma_36 #

d_'42''45'1'45'rawMonoid_186 :: T_RawMonoid_64 #

d_'43''45''42''45'rawNearSemiring_188 :: T_RawNearSemiring_134 #

d_'43''45''42''45'rawSemiring_190 :: T_RawSemiring_174 #

d_pred_192 :: Integer -> Integer #

d__'43''8910'__196 :: Integer -> Integer -> Integer #

d__'8852'__204 :: Integer -> Integer -> Integer #

d__'8852''8242'__214 :: Integer -> Integer -> Integer #

d__'8851'__232 :: Integer -> Integer -> Integer #

d__'8851''8242'__242 :: Integer -> Integer -> Integer #

d_parity_260 :: Integer -> T_Parity_6 #

d_'8970'_'47'2'8971'_264 :: Integer -> Integer #

d_'8968'_'47'2'8969'_268 :: Integer -> Integer #

d__'94'__272 :: Integer -> Integer -> Integer #

d_'8739'_'45'_'8739'_280 :: Integer -> Integer -> Integer #

d_'8739'_'45'_'8739''8242'_290 :: Integer -> Integer -> Integer #

d__'47'__314 :: Integer -> Integer -> T_NonZero_112 -> Integer #

du__'47'__314 :: Integer -> Integer -> Integer #

d__'37'__326 :: Integer -> Integer -> T_NonZero_112 -> Integer #

du__'37'__326 :: Integer -> Integer -> Integer #

d__'33'_332 :: Integer -> Integer #

d__'8804''8242'__338 :: p -> p -> () #

data T__'8804''8242'__338 #

d__'60''8242'__350 :: Integer -> Integer -> () #

d__'8805''8242'__364 :: Integer -> Integer -> () #

d__'62''8242'__370 :: Integer -> Integer -> () #

d__'8804''8243'__380 :: Integer -> Integer -> () #

d__'60''8243'__382 :: Integer -> Integer -> () #

d__'8805''8243'__388 :: Integer -> Integer -> () #

d__'62''8243'__394 :: Integer -> Integer -> () #

d_s'60''8243's'8315''185'_404 :: Integer -> Integer -> T__'8739''737'__26 -> T__'8739''737'__26 #

du_s'60''8243's'8315''185'_404 :: T__'8739''737'__26 -> T__'8739''737'__26 #

d__'8804''8244'__408 :: p -> p -> () #

data T__'8804''8244'__408 #

d__'60''8244'__420 :: Integer -> Integer -> () #

d__'8805''8244'__426 :: Integer -> Integer -> () #

d__'62''8244'__432 :: Integer -> Integer -> () #

d_Ordering_438 :: p -> p -> () #

data T_Ordering_438 #

d_compare_460 :: Integer -> Integer -> T_Ordering_438 #

d_s'8804''8243's'8315''185'_514 :: Integer -> Integer -> T__'8739''737'__26 -> T__'8739''737'__26 #

du_s'8804''8243's'8315''185'_514 :: T__'8739''737'__26 -> T__'8739''737'__26 #