Documentation

d_'35'__10 :: Integer -> Integer -> AgdaAny -> T_Fin_6 Source #

du_'35'__10 :: Integer -> T_Fin_6 Source #