Documentation

d_Args_38 :: T_Level_18 -> () -> () #

d_map_54 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88 #

du_map_54 :: (AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88 #

d_map'45'Args_62 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [T_Arg_88] -> [T_Arg_88] #

du_map'45'Args_62 :: (AgdaAny -> AgdaAny) -> [T_Arg_88] -> [T_Arg_88] #

d_arg'45'injective'8321'_68 :: T_ArgInfo_76 -> T_Level_18 -> () -> AgdaAny -> T_ArgInfo_76 -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 #

d_arg'45'injective'8322'_70 :: T_ArgInfo_76 -> T_Level_18 -> () -> AgdaAny -> T_ArgInfo_76 -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 #

d_arg'45'injective_72 :: T_ArgInfo_76 -> T_Level_18 -> () -> AgdaAny -> T_ArgInfo_76 -> AgdaAny -> T__'8801'__12 -> T_Σ_14 #

du_arg'45'injective_72 :: T__'8801'__12 -> T_Σ_14 #

d_unArg_74 :: T_Level_18 -> () -> T_Arg_88 -> AgdaAny #

du_unArg_74 :: T_Arg_88 -> AgdaAny #

d_unArg'45'dec_84 :: T_Level_18 -> () -> T_Arg_88 -> T_Arg_88 -> T_Dec_20 -> T_Dec_20 #

du_unArg'45'dec_84 :: T_Arg_88 -> T_Arg_88 -> T_Dec_20 -> T_Dec_20 #

d_'8801''45'dec_96 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny -> T_Dec_20) -> T_Arg_88 -> T_Arg_88 -> T_Dec_20 #

du_'8801''45'dec_96 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> T_Arg_88 -> T_Arg_88 -> T_Dec_20 #