Documentation

d_Kind_6 :: () Source #

data T_Kind_6 Source #

d__'8764''91'_'93'__40 :: T_Level_14 -> T_Level_14 -> () -> T_Kind_6 -> () -> () Source #

d_Related_74 :: T_Level_14 -> T_Level_14 -> T_Kind_6 -> () -> () -> () Source #

d_'10518''8658'_82 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Kind_6 -> T_Bijection_844 -> AgdaAny Source #

du_'10518''8658'_82 :: T_Kind_6 -> T_Bijection_844 -> AgdaAny Source #

d_'8801''8658'_84 :: T_Level_14 -> () -> () -> T_Kind_6 -> T__'8801'__12 -> AgdaAny Source #

du_'8801''8658'_84 :: T_Kind_6 -> AgdaAny Source #

d_SymmetricKind_86 :: () Source #

data T_SymmetricKind_86 Source #

d_'8970'_'8971'_92 :: T_SymmetricKind_86 -> T_Kind_6 Source #

d_ForwardKind_94 :: () Source #

data T_ForwardKind_94 Source #

d_'8970'_'8971''8594'_108 :: T_ForwardKind_94 -> T_Kind_6 Source #

d_'8658''8594'_112 :: T_Level_14 -> () -> T_Level_14 -> () -> T_ForwardKind_94 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8658''8594'_112 :: T_ForwardKind_94 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_BackwardKind_114 :: () Source #

data T_BackwardKind_114 Source #

d_'8970'_'8971''8592'_128 :: T_BackwardKind_114 -> T_Kind_6 Source #

d_'8658''8592'_132 :: T_Level_14 -> () -> T_Level_14 -> () -> T_BackwardKind_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8658''8592'_132 :: T_BackwardKind_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_EquivalenceKind_134 :: () Source #

data T_EquivalenceKind_134 Source #

d_'8970'_'8971''8660'_144 :: T_EquivalenceKind_134 -> T_Kind_6 Source #

d_'8658''8660'_148 :: T_Level_14 -> () -> T_Level_14 -> () -> T_EquivalenceKind_134 -> AgdaAny -> T_Equivalence_928 Source #

du_'8658''8660'_148 :: T_EquivalenceKind_134 -> AgdaAny -> T_Equivalence_928 Source #

d_'8660''8970'_'8971'_150 :: T_SymmetricKind_86 -> T_EquivalenceKind_134 Source #

d_'8594''8970'_'8971'_152 :: T_EquivalenceKind_134 -> T_ForwardKind_94 Source #

d_'8592''8970'_'8971'_154 :: T_EquivalenceKind_134 -> T_BackwardKind_114 Source #

d__op_156 :: T_Kind_6 -> T_Kind_6 Source #

d_reverse_158 :: T_Level_14 -> () -> T_Kind_6 -> T_Level_14 -> () -> AgdaAny -> AgdaAny Source #

du_reverse_158 :: T_Kind_6 -> AgdaAny -> AgdaAny Source #

d_K'45'refl_160 :: T_Level_14 -> T_Kind_6 -> () -> AgdaAny Source #

du_K'45'refl_160 :: T_Kind_6 -> AgdaAny Source #

d_K'45'reflexive_162 :: T_Level_14 -> T_Kind_6 -> () -> () -> T__'8801'__12 -> AgdaAny Source #

du_K'45'reflexive_162 :: T_Kind_6 -> AgdaAny Source #

d_K'45'trans_164 :: T_Level_14 -> T_Level_14 -> T_Kind_6 -> T_Level_14 -> () -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_K'45'trans_164 :: T_Kind_6 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_SK'45'sym_168 :: T_Level_14 -> T_Level_14 -> T_SymmetricKind_86 -> () -> () -> AgdaAny -> AgdaAny Source #

du_SK'45'sym_168 :: T_SymmetricKind_86 -> AgdaAny -> AgdaAny Source #

d_SK'45'isEquivalence_172 :: T_Level_14 -> T_SymmetricKind_86 -> T_IsEquivalence_26 Source #

du_SK'45'isEquivalence_172 :: T_SymmetricKind_86 -> T_IsEquivalence_26 Source #

d_SK'45'setoid_178 :: T_SymmetricKind_86 -> T_Level_14 -> T_Setoid_44 Source #

du_SK'45'setoid_178 :: T_SymmetricKind_86 -> T_Setoid_44 Source #

d_K'45'isPreorder_186 :: T_Level_14 -> T_Kind_6 -> T_IsPreorder_70 Source #

du_K'45'isPreorder_186 :: T_Kind_6 -> T_IsPreorder_70 Source #

d_K'45'preorder_192 :: T_Kind_6 -> T_Level_14 -> T_Preorder_132 Source #

du_K'45'preorder_192 :: T_Kind_6 -> T_Preorder_132 Source #

d__'8764''10216'_'10217'__202 :: T_Level_14 -> T_Kind_6 -> T_Level_14 -> () -> T_Level_14 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny Source #

du__'8764''10216'_'10217'__202 :: T_Kind_6 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d__'10518''10216'_'10217'__210 :: T_Level_14 -> T_Level_14 -> () -> T_Kind_6 -> T_Level_14 -> () -> () -> T_Bijection_844 -> AgdaAny -> AgdaAny Source #

du__'10518''10216'_'10217'__210 :: T_Kind_6 -> T_Bijection_844 -> AgdaAny -> AgdaAny Source #

d__'8596''10216'_'10217'__220 :: T_Level_14 -> T_Level_14 -> () -> T_Kind_6 -> T_Level_14 -> () -> () -> T_Inverse_1052 -> AgdaAny -> AgdaAny Source #

du__'8596''10216'_'10217'__220 :: T_Kind_6 -> T_Inverse_1052 -> AgdaAny -> AgdaAny Source #

d__'8596''10216''10217'__230 :: T_Level_14 -> T_Kind_6 -> T_Level_14 -> () -> () -> AgdaAny -> AgdaAny Source #

du__'8596''10216''10217'__230 :: AgdaAny -> AgdaAny Source #

d__'8801''10216'_'10217'__238 :: T_Level_14 -> () -> T_Kind_6 -> T_Level_14 -> () -> () -> T__'8801'__12 -> AgdaAny -> AgdaAny Source #

du__'8801''10216'_'10217'__238 :: T_Kind_6 -> AgdaAny -> AgdaAny Source #

d__'8718'_248 :: T_Level_14 -> T_Kind_6 -> () -> AgdaAny Source #

du__'8718'_248 :: T_Kind_6 -> AgdaAny Source #

d_InducedRelation'8321'_254 :: T_Level_14 -> () -> T_Level_14 -> T_Kind_6 -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> () Source #

d_InducedPreorder'8321'_266 :: T_Level_14 -> () -> T_Level_14 -> T_Kind_6 -> (AgdaAny -> ()) -> T_Preorder_132 Source #

du_InducedPreorder'8321'_266 :: T_Kind_6 -> T_Preorder_132 Source #

d_InducedEquivalence'8321'_326 :: T_Level_14 -> () -> T_Level_14 -> T_SymmetricKind_86 -> (AgdaAny -> ()) -> T_Setoid_44 Source #

du_InducedEquivalence'8321'_326 :: T_SymmetricKind_86 -> T_Setoid_44 Source #

d_InducedRelation'8322'_334 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Kind_6 -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> () Source #

d_InducedPreorder'8322'_348 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Kind_6 -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> T_Preorder_132 Source #

du_InducedPreorder'8322'_348 :: T_Kind_6 -> T_Preorder_132 Source #

d_InducedEquivalence'8322'_416 :: T_Level_14 -> () -> T_Level_14 -> () -> T_SymmetricKind_86 -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> T_Setoid_44 Source #

du_InducedEquivalence'8322'_416 :: T_SymmetricKind_86 -> T_Setoid_44 Source #