Documentation

d_Arg'45'info_2 :: () #

d__'8799''45'Lit__4 :: T_Literal_124 -> T_Literal_124 -> T_Dec_20 #

d__'8799''45'Name__6 :: AgdaAny -> AgdaAny -> T_Dec_20 #

d__'8799''45'Meta__8 :: AgdaAny -> AgdaAny -> T_Dec_20 #

d__'8799''45'Visibility__10 :: T_Visibility_48 -> T_Visibility_48 -> T_Dec_20 #

d__'8799''45'Relevance__12 :: T_Relevance_56 -> T_Relevance_56 -> T_Dec_20 #

d__'8799''45'Arg'45'info__14 :: T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_20 #

d__'8799''45'Pattern__16 :: T_Pattern_158 -> T_Pattern_158 -> T_Dec_20 #

d__'8799''45'ArgPatterns__18 :: [T_Arg_88] -> [T_Arg_88] -> T_Dec_20 #

d_map'45'Abs_20 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T_Abs_112 -> T_Abs_112 #

d_map'45'Arg_22 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88 #

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

d_visibility_26 :: T_ArgInfo_76 -> T_Visibility_48 #

d_relevance_28 :: T_Modality_68 -> T_Relevance_56 #

d__'8799''45'AbsTerm__30 :: T_Abs_112 -> T_Abs_112 -> T_Dec_20 #

d__'8799''45'AbsType__32 :: T_Abs_112 -> T_Abs_112 -> T_Dec_20 #

d__'8799''45'ArgTerm__34 :: T_Arg_88 -> T_Arg_88 -> T_Dec_20 #

d__'8799''45'ArgType__36 :: T_Arg_88 -> T_Arg_88 -> T_Dec_20 #

d__'8799''45'Args__38 :: [T_Arg_88] -> [T_Arg_88] -> T_Dec_20 #

d__'8799''45'Clause__40 :: T_Clause_160 -> T_Clause_160 -> T_Dec_20 #

d__'8799''45'Clauses__42 :: [T_Clause_160] -> [T_Clause_160] -> T_Dec_20 #

d__'8799'__44 :: T_Term_154 -> T_Term_154 -> T_Dec_20 #

d__'8799''45'Sort__46 :: T_Sort_156 -> T_Sort_156 -> T_Dec_20 #