Documentation

d_RecStruct_8 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> () Source #

d_RecursorBuilder_24 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> () Source #

d_Recursor_38 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> () Source #

d_build_54 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> ((AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_build_54 :: ((AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_SubsetRecursorBuilder_74 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> () Source #

d_SubsetRecursor_92 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> () Source #

d_subsetBuild_114 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> ((AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_subsetBuild_114 :: ((AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #