| Safe Haskell | None |
|---|
MAlonzo.Code.Relation.Binary.Reasoning.PartialSetoid
Documentation
d__IsRelatedTo__30 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #
d__'8718'_32 :: T_Level_14 -> T_Level_14 -> T_PartialSetoid_10 -> AgdaAny -> T__IsRelatedTo__20 Source #
d__'8718''10216'_'10217'_34 :: T_Level_14 -> T_Level_14 -> T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 Source #
d_IsMultiStep_38 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #
d_IsMultiStep'63'_40 :: T_Level_14 -> T_Level_14 -> T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> T_Dec_32 Source #
du_IsMultiStep'63'_40 :: AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> T_Dec_32 Source #
d_begin__42 :: T_Level_14 -> T_Level_14 -> T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> AgdaAny -> AgdaAny Source #
du_begin__42 :: AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> AgdaAny -> AgdaAny Source #
d_step'45''8801'_52 :: T_Level_14 -> T_Level_14 -> T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #
d_step'45''8801''728'_54 :: T_Level_14 -> T_Level_14 -> T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #
d_step'45''8776'_66 :: T_Level_14 -> T_Level_14 -> T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> AgdaAny -> T__IsRelatedTo__20 Source #
du_step'45''8776'_66 :: T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> AgdaAny -> T__IsRelatedTo__20 Source #
d_step'45''8776''728'_74 :: T_Level_14 -> T_Level_14 -> T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> AgdaAny -> T__IsRelatedTo__20 Source #
du_step'45''8776''728'_74 :: T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> AgdaAny -> T__IsRelatedTo__20 Source #