Documentation

d_Coℕ_8 :: () Source #

data T_Coℕ_8 Source #

d_'8734'ℕ_16 :: T_Coℕ_8 Source #

d_pred_18 :: T_Coℕ_8 -> T_Coℕ_8 Source #

d_fromℕ_22 :: Integer -> T_Coℕ_8 Source #

d__'43'__26 :: T_Coℕ_8 -> T_Coℕ_8 -> T_Coℕ_8 Source #

d_'9839''45'0_55 :: Infinity AgdaAny T_Coℕ_8 Source #

d_'9839''45'1_131 :: Integer -> Infinity AgdaAny T_Coℕ_8 Source #

d_'9839''45'2_263 :: Infinity AgdaAny T_Coℕ_8 -> T_Coℕ_8 -> Infinity AgdaAny T_Coℕ_8 Source #