Documentation

d_Exp'8776''45'isPER_10 :: T_List'8314'_24 -> T_Exp_70 -> T_IsPartialEquivalence_16 Source #

du_Exp'8776''45'isPER_10 :: T_IsPartialEquivalence_16 Source #

d_Exp'8776''45'PER_16 :: T_List'8314'_24 -> T_Exp_70 -> T_PartialSetoid_10 Source #

du_Exp'8776''45'PER_16 :: T_PartialSetoid_10 Source #

d__IsRelatedTo__32 :: p1 -> p2 -> p3 -> p4 -> () Source #

d__'8718'_34 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 Source #

du__'8718'_34 :: T_Exp_70 -> T__IsRelatedTo__20 Source #

d__'8718''10216'_'10217'_36 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T__'8866'_'8776'_'8758'__14 -> T__IsRelatedTo__20 Source #

du__'8718''10216'_'10217'_36 :: T_Exp_70 -> T__'8866'_'8776'_'8758'__14 -> T__IsRelatedTo__20 Source #

d__'8801''10216''10217'__38 :: T__IsRelatedTo__20 -> T__IsRelatedTo__20 Source #

d_IsMultiStep_40 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #

d_IsMultiStep'63'_42 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> T_Dec_32 Source #

du_IsMultiStep'63'_42 :: T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> T_Dec_32 Source #

d_begin__44 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> AgdaAny -> T__'8866'_'8776'_'8758'__14 Source #

du_begin__44 :: T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> AgdaAny -> T__'8866'_'8776'_'8758'__14 Source #

d_step'45''8776'_52 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> T__'8866'_'8776'_'8758'__14 -> T__IsRelatedTo__20 Source #

du_step'45''8776'_52 :: T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> T__'8866'_'8776'_'8758'__14 -> T__IsRelatedTo__20 Source #

d_step'45''8776''728'_54 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> T__'8866'_'8776'_'8758'__14 -> T__IsRelatedTo__20 Source #

du_step'45''8776''728'_54 :: T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> T__'8866'_'8776'_'8758'__14 -> T__IsRelatedTo__20 Source #

d_step'45''8801'_56 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #

du_step'45''8801'_56 :: T__IsRelatedTo__20 -> T__IsRelatedTo__20 Source #

d_step'45''8801''728'_58 :: T_List'8314'_24 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T_Exp_70 -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #

du_step'45''8801''728'_58 :: T__IsRelatedTo__20 -> T__IsRelatedTo__20 Source #

d_Substs'8776''45'isPER_74 :: T_List'8314'_24 -> T_List'8314'_24 -> T_IsPartialEquivalence_16 Source #

du_Substs'8776''45'isPER_74 :: T_IsPartialEquivalence_16 Source #

d_Substs'8776''45'PER_76 :: T_List'8314'_24 -> T_List'8314'_24 -> T_PartialSetoid_10 Source #

du_Substs'8776''45'PER_76 :: T_PartialSetoid_10 Source #

d__IsRelatedTo__92 :: p1 -> p2 -> p3 -> p4 -> () Source #

d__'8718'_94 :: T_List'8314'_24 -> T_List'8314'_24 -> T_Substs_72 -> T__IsRelatedTo__20 Source #

du__'8718'_94 :: T_Substs_72 -> T__IsRelatedTo__20 Source #

d__'8718''10216'_'10217'_96 :: T_List'8314'_24 -> T_List'8314'_24 -> T_Substs_72 -> T__'8866's_'8776'_'8758'__16 -> T__IsRelatedTo__20 Source #

du__'8718''10216'_'10217'_96 :: T_Substs_72 -> T__'8866's_'8776'_'8758'__16 -> T__IsRelatedTo__20 Source #

d__'8801''10216''10217'__98 :: T__IsRelatedTo__20 -> T__IsRelatedTo__20 Source #

d_IsMultiStep_100 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #

d_IsMultiStep'63'_102 :: T_List'8314'_24 -> T_List'8314'_24 -> T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> T_Dec_32 Source #

du_IsMultiStep'63'_102 :: T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> T_Dec_32 Source #

d_begin__104 :: T_List'8314'_24 -> T_List'8314'_24 -> T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> AgdaAny -> T__'8866's_'8776'_'8758'__16 Source #

du_begin__104 :: T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> AgdaAny -> T__'8866's_'8776'_'8758'__16 Source #

d_step'45''8776'_112 :: T_List'8314'_24 -> T_List'8314'_24 -> T_Substs_72 -> T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> T__'8866's_'8776'_'8758'__16 -> T__IsRelatedTo__20 Source #

du_step'45''8776'_112 :: T_Substs_72 -> T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> T__'8866's_'8776'_'8758'__16 -> T__IsRelatedTo__20 Source #

d_step'45''8776''728'_114 :: T_List'8314'_24 -> T_List'8314'_24 -> T_Substs_72 -> T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> T__'8866's_'8776'_'8758'__16 -> T__IsRelatedTo__20 Source #

du_step'45''8776''728'_114 :: T_Substs_72 -> T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> T__'8866's_'8776'_'8758'__16 -> T__IsRelatedTo__20 Source #

d_step'45''8801'_116 :: T_List'8314'_24 -> T_List'8314'_24 -> T_Substs_72 -> T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #

du_step'45''8801'_116 :: T__IsRelatedTo__20 -> T__IsRelatedTo__20 Source #

d_step'45''8801''728'_118 :: T_List'8314'_24 -> T_List'8314'_24 -> T_Substs_72 -> T_Substs_72 -> T_Substs_72 -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #

du_step'45''8801''728'_118 :: T__IsRelatedTo__20 -> T__IsRelatedTo__20 Source #

d_'8866''8776''45'trans_130 :: T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 -> T_'8866'_'8776'__8 -> T_'8866'_'8776'__8 -> T_'8866'_'8776'__8 Source #

du_'8866''8776''45'trans_130 :: T_'8866'_'8776'__8 -> T_'8866'_'8776'__8 -> T_'8866'_'8776'__8 Source #

d_Ctxs'8776''45'isPER_160 :: T_IsPartialEquivalence_16 Source #

d_Ctxs'8776''45'PER_162 :: T_PartialSetoid_10 Source #

d__IsRelatedTo__166 :: p1 -> p2 -> () Source #

d__'8718'_168 :: T_List'8314'_24 -> T__IsRelatedTo__20 Source #

d__'8718''10216'_'10217'_170 :: T_List'8314'_24 -> T_'8866'_'8776'__8 -> T__IsRelatedTo__20 Source #

d__'8801''10216''10217'__172 :: T__IsRelatedTo__20 -> T__IsRelatedTo__20 Source #

d_IsMultiStep_174 :: p1 -> p2 -> p3 -> () Source #

d_IsMultiStep'63'_176 :: T_List'8314'_24 -> T_List'8314'_24 -> T__IsRelatedTo__20 -> T_Dec_32 Source #

d_begin__178 :: T_List'8314'_24 -> T_List'8314'_24 -> T__IsRelatedTo__20 -> AgdaAny -> T_'8866'_'8776'__8 Source #

d_step'45''8776'_186 :: T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 -> T__IsRelatedTo__20 -> T_'8866'_'8776'__8 -> T__IsRelatedTo__20 Source #

d_step'45''8776''728'_188 :: T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 -> T__IsRelatedTo__20 -> T_'8866'_'8776'__8 -> T__IsRelatedTo__20 Source #

d_step'45''8801'_190 :: T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #

du_step'45''8801'_190 :: T__IsRelatedTo__20 -> T__IsRelatedTo__20 Source #

d_step'45''8801''728'_192 :: T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24 -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #

du_step'45''8801''728'_192 :: T__IsRelatedTo__20 -> T__IsRelatedTo__20 Source #