Documentation

d__'172''45''8846'__14 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_'8869'_4) -> (AgdaAny -> T_'8869'_4) -> T__'8846'__30 -> T_'8869'_4 Source #

d__'8846''45'reflects__20 :: T_Level_14 -> () -> T_Level_14 -> () -> Bool -> Bool -> T_Reflects_14 -> T_Reflects_14 -> T_Reflects_14 Source #

du__'8846''45'reflects__20 :: T_Reflects_14 -> T_Reflects_14 -> T_Reflects_14 Source #

d__'8846''45'dec__32 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Dec_32 -> T_Dec_32 -> T_Dec_32 Source #

du__'8846''45'dec__32 :: T_Dec_32 -> T_Dec_32 -> T_Dec_32 Source #