Documentation

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

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

d__'8658'__44 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> () Source #

d__'8660'__54 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> () Source #

d__'61''91'_'93''8658'__60 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> () Source #

d__Preserves_'10230'__68 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> () Source #

d__Preserves'8322'_'10230'_'10230'__76 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> T_Level_14 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> () Source #