Documentation

d_Dec_20 :: p -> p -> () #

data T_Dec_20 #

d_does_28 :: T_Dec_20 -> Bool #

d_proof_30 :: T_Dec_20 -> T_Reflects_16 #

d_From'45'yes_50 :: T_Level_18 -> () -> T_Dec_20 -> () #

d_From'45'no_52 :: T_Level_18 -> () -> T_Dec_20 -> () #

d_recompute_54 :: T_Level_18 -> () -> T_Dec_20 -> AgdaAny -> AgdaAny #

du_recompute_54 :: T_Dec_20 -> AgdaAny -> AgdaAny #

d_recompute'45'constant_62 :: T_Level_18 -> () -> T_Dec_20 -> AgdaAny -> AgdaAny -> T__'8801'__12 #

d_T'63'_66 :: Bool -> T_Dec_20 #

d_'172''63'_70 :: T_Level_18 -> () -> T_Dec_20 -> T_Dec_20 #

du_'172''63'_70 :: T_Dec_20 -> T_Dec_20 #

d__'215''45'dec__76 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Dec_20 -> T_Dec_20 -> T_Dec_20 #

du__'215''45'dec__76 :: T_Dec_20 -> T_Dec_20 -> T_Dec_20 #

d__'8846''45'dec__86 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Dec_20 -> T_Dec_20 -> T_Dec_20 #

du__'8846''45'dec__86 :: T_Dec_20 -> T_Dec_20 -> T_Dec_20 #

d__'8594''45'dec__96 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Dec_20 -> T_Dec_20 -> T_Dec_20 #

du__'8594''45'dec__96 :: T_Dec_20 -> T_Dec_20 -> T_Dec_20 #

d_dec'8658'maybe_106 :: T_Level_18 -> () -> T_Dec_20 -> Maybe AgdaAny #

du_dec'8658'maybe_106 :: T_Dec_20 -> Maybe AgdaAny #

d_toSum_110 :: T_Level_18 -> () -> T_Dec_20 -> T__'8846'__30 #

du_toSum_110 :: T_Dec_20 -> T__'8846'__30 #

d_fromSum_116 :: T_Level_18 -> () -> T__'8846'__30 -> T_Dec_20 #

du_fromSum_116 :: T__'8846'__30 -> T_Dec_20 #

d_isYes_122 :: T_Level_18 -> () -> T_Dec_20 -> Bool #

du_isYes_122 :: T_Dec_20 -> Bool #

d_isNo_124 :: T_Level_18 -> () -> T_Dec_20 -> Bool #

du_isNo_124 :: T_Dec_20 -> Bool #

d_True_126 :: T_Level_18 -> () -> T_Dec_20 -> () #

d_False_128 :: T_Level_18 -> () -> T_Dec_20 -> () #

d_'8970'_'8971'_130 :: T_Level_18 -> () -> T_Dec_20 -> Bool #

d_toWitness_134 :: T_Level_18 -> () -> T_Dec_20 -> AgdaAny -> AgdaAny #

du_toWitness_134 :: T_Dec_20 -> AgdaAny #

d_fromWitness_140 :: T_Level_18 -> () -> T_Dec_20 -> AgdaAny -> AgdaAny #

du_fromWitness_140 :: T_Dec_20 -> AgdaAny -> AgdaAny #

d_toWitnessFalse_146 :: T_Level_18 -> () -> T_Dec_20 -> AgdaAny -> AgdaAny -> T_Irrelevant_20 #

d_fromWitnessFalse_152 :: T_Level_18 -> () -> T_Dec_20 -> (AgdaAny -> T_Irrelevant_20) -> AgdaAny #

du_fromWitnessFalse_152 :: T_Dec_20 -> (AgdaAny -> T_Irrelevant_20) -> AgdaAny #

d_from'45'yes_158 :: T_Level_18 -> () -> T_Dec_20 -> AgdaAny #

du_from'45'yes_158 :: T_Dec_20 -> AgdaAny #

d_from'45'no_164 :: T_Level_18 -> () -> T_Dec_20 -> AgdaAny #

du_from'45'no_164 :: T_Dec_20 -> AgdaAny #

d_map'8242'_168 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Dec_20 -> T_Dec_20 #

du_map'8242'_168 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Dec_20 -> T_Dec_20 #

d_decidable'45'stable_188 :: T_Level_18 -> () -> T_Dec_20 -> ((AgdaAny -> T_Irrelevant_20) -> T_Irrelevant_20) -> AgdaAny #

du_decidable'45'stable_188 :: T_Dec_20 -> AgdaAny #

d_'172''45'drop'45'Dec_198 :: T_Level_18 -> () -> T_Dec_20 -> T_Dec_20 #

du_'172''45'drop'45'Dec_198 :: T_Dec_20 -> T_Dec_20 #

d_'172''172''45'excluded'45'middle_202 :: T_Level_18 -> () -> (T_Dec_20 -> T_Irrelevant_20) -> T_Irrelevant_20 #

d_excluded'45'middle_208 :: T_Level_18 -> () -> (T_Dec_20 -> T_Irrelevant_20) -> T_Irrelevant_20 #

d_decToMaybe_210 :: T_Level_18 -> () -> T_Dec_20 -> Maybe AgdaAny #

d_fromDec_212 :: T_Level_18 -> () -> T_Dec_20 -> T__'8846'__30 #

d_toDec_214 :: T_Level_18 -> () -> T__'8846'__30 -> T_Dec_20 #