Documentation

d_inj'8321''45'injective_34 :: T_Level_14 -> () -> T_Level_14 -> () -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #

d_inj'8322''45'injective_40 :: T_Level_14 -> () -> T_Level_14 -> () -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #

d_'8801''45'dec_54 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> T_Dec_32) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T__'8846'__30 -> T__'8846'__30 -> T_Dec_32 Source #

du_'8801''45'dec_54 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T__'8846'__30 -> T__'8846'__30 -> T_Dec_32 Source #

d_swap'45'involutive_72 :: T_Level_14 -> () -> T_Level_14 -> () -> T__'8846'__30 -> T__'8801'__12 Source #

d_map'45'id_78 :: T_Level_14 -> () -> T_Level_14 -> () -> T__'8846'__30 -> T__'8801'__12 Source #

d_'91''44''93''45''8728''45'distr_86 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8801'__12 Source #

d_'91''44''93''45'map'45'commute_96 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8801'__12 Source #

d_map'45'commute_106 :: 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) -> T__'8846'__30 -> T__'8801'__12 Source #

d_map'8321''8322''45'commute_112 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8801'__12 Source #

d_map'45'assoc'737'_120 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8801'__12 Source #

d_map'45'assoc'691'_134 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8801'__12 Source #

d_'91''44''93''45'cong_150 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> T__'8846'__30 -> T__'8801'__12 Source #

d_'91''45''44''93''45'cong_158 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8846'__30 -> T__'8801'__12 Source #

d_'91''44''45''93''45'cong_170 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8846'__30 -> T__'8801'__12 Source #

d_map'45'cong_184 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> T__'8846'__30 -> T__'8801'__12 Source #

d_map'8321''45'cong_202 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8846'__30 -> T__'8801'__12 Source #

d_map'8322''45'cong_210 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8846'__30 -> T__'8801'__12 Source #