Documentation

d_0ℤ_12 :: Integer #

d_'45'1ℤ_14 :: Integer #

d_1ℤ_16 :: Integer #

d_'8739'_'8739'_18 :: Integer -> Integer #

d_sign_24 :: Integer -> T_Sign_6 #

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

data T__'8804'__26 #

d__'60'__50 :: p -> p -> () #

data T__'60'__50 #

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

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

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

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

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

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

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

d_NonZero_128 :: Integer -> () #

d_Positive_134 :: p -> () #

newtype T_Positive_134 #

d_pos_140 :: T_Positive_134 -> AgdaAny #

d_NonNegative_144 :: p -> () #

newtype T_NonNegative_144 #

d_nonNeg_150 :: T_NonNegative_144 -> AgdaAny #

d_NonPositive_154 :: p -> () #

newtype T_NonPositive_154 #

d_nonPos_160 :: T_NonPositive_154 -> AgdaAny #

d_Negative_164 :: p -> () #

newtype T_Negative_164 #

d_neg_170 :: T_Negative_164 -> AgdaAny #

d_pos_174 :: Integer -> T_Positive_134 #

du_pos_174 :: T_Positive_134 #

d_nonNeg_178 :: Integer -> T_NonNegative_144 #

du_nonNeg_178 :: T_NonNegative_144 #

d_nonPos0_180 :: T_NonPositive_154 #

d_nonPos_184 :: Integer -> T_NonPositive_154 #

du_nonPos_184 :: T_NonPositive_154 #

d_neg_188 :: Integer -> T_Negative_164 #

du_neg_188 :: T_Negative_164 #

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

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

d_'62''45'nonZero_202 :: Integer -> T__'60'__50 -> T_NonZero_112 #

du_'62''45'nonZero_202 :: T__'60'__50 -> T_NonZero_112 #

d_'60''45'nonZero_208 :: Integer -> T__'60'__50 -> T_NonZero_112 #

du_'60''45'nonZero_208 :: T__'60'__50 -> T_NonZero_112 #

d_positive_212 :: Integer -> T__'60'__50 -> T_Positive_134 #

du_positive_212 :: T__'60'__50 -> T_Positive_134 #

d_negative_218 :: Integer -> T__'60'__50 -> T_Negative_164 #

du_negative_218 :: T__'60'__50 -> T_Negative_164 #

d_nonPositive_222 :: Integer -> T__'8804'__26 -> T_NonPositive_154 #

du_nonPositive_222 :: T__'8804'__26 -> T_NonPositive_154 #

d_nonNegative_226 :: Integer -> T__'8804'__26 -> T_NonNegative_144 #

du_nonNegative_226 :: Integer -> T_NonNegative_144 #

d__'9667'__230 :: T_Sign_6 -> Integer -> Integer #

d_SignAbs_236 :: p -> () #

data T_SignAbs_236 #

d_signAbs_246 :: Integer -> T_SignAbs_236 #

d_'45'__252 :: Integer -> Integer #

d__'8854'__258 :: Integer -> Integer -> Integer #

d__'43'__276 :: Integer -> Integer -> Integer #

d__'45'__294 :: Integer -> Integer -> Integer #

d_suc_300 :: Integer -> Integer #

d_pred_304 :: Integer -> Integer #

d__'42'__308 :: Integer -> Integer -> Integer #

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

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

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

d__'47'ℕ__364 :: Integer -> Integer -> T_NonZero_112 -> Integer #

du__'47'ℕ__364 :: Integer -> Integer -> Integer #

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

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

d__'37'ℕ__406 :: Integer -> Integer -> T_NonZero_112 -> Integer #

du__'37'ℕ__406 :: Integer -> Integer -> Integer #

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

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

d_'43''45'rawMagma_442 :: T_RawMagma_36 #

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

d_'43''45'0'45'rawGroup_446 :: T_RawGroup_96 #

d_'42''45'rawMagma_448 :: T_RawMagma_36 #

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

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

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

d_'43''45''42''45'rawRing_456 :: T_RawRing_268 #