Documentation

d_Digit_4 :: Integer -> () #

d_Decimal_8 :: () #

d_Bit_10 :: () #

d_0b_12 :: T_Fin_10 #

d_1b_14 :: T_Fin_10 #

d_toNatDigits_20 :: Integer -> AgdaAny -> Integer -> [Integer] #

du_toNatDigits_20 :: Integer -> Integer -> [Integer] #

d_aux_36 :: Integer -> T_'8868'_6 -> Integer -> Integer -> T_Acc_42 -> [Integer] -> [Integer] #

du_aux_36 :: Integer -> Integer -> [Integer] -> [Integer] #

d_Expansion_62 :: Integer -> () #

d_fromDigits_68 :: Integer -> [T_Fin_10] -> Integer #

d_toDigits_84 :: Integer -> AgdaAny -> Integer -> T_Σ_14 #

du_toDigits_84 :: Integer -> Integer -> T_Σ_14 #

d_Pred_96 :: Integer -> T_'8868'_6 -> Integer -> Integer -> () #

d_cons_106 :: Integer -> T_'8868'_6 -> Integer -> Integer -> T_Fin_10 -> T_Σ_14 -> T_Σ_14 #

du_cons_106 :: T_Fin_10 -> T_Σ_14 -> T_Σ_14 #

d_lem'8242'_120 :: Integer -> T_'8868'_6 -> Integer -> Integer -> Integer -> T__'8801'__12 #

d_lem_144 :: Integer -> T_'8868'_6 -> Integer -> Integer -> Integer -> Integer -> T__'8804''8242'__338 #

du_lem_144 :: Integer -> Integer -> Integer -> T__'8804''8242'__338 #

d_helper_166 :: Integer -> T_'8868'_6 -> Integer -> Integer -> (Integer -> T__'8804''8242'__338 -> T_Σ_14) -> T_Σ_14 #

du_helper_166 :: Integer -> Integer -> (Integer -> T__'8804''8242'__338 -> T_Σ_14) -> T_Σ_14 #

d_digitChars_192 :: T_Vec_28 #

d_showDigit_198 :: Integer -> AgdaAny -> T_Fin_10 -> T_Char_6 #

du_showDigit_198 :: T_Fin_10 -> T_Char_6 #