Safe HaskellNone

MAlonzo.Code.Relation.Binary.Reasoning.Base.Partial

Documentation

d__IsRelatedTo__20 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> () Source #

data T__IsRelatedTo__20 Source #

Constructors

C_singleStep_24 
C_multiStep_32 AgdaAny 

d_IsMultiStep_38 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> () Source #

data T_IsMultiStep_38 Source #

Constructors

C_isMultiStep_46 

d_IsMultiStep'63'_54 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> T_Dec_32 Source #

du_IsMultiStep'63'_54 :: T__IsRelatedTo__20 -> T_Dec_32 Source #

d_begin__64 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> AgdaAny -> AgdaAny Source #

du_begin__64 :: T__IsRelatedTo__20 -> AgdaAny Source #

d_step'45''8764'_74 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> AgdaAny -> T__IsRelatedTo__20 Source #

du_step'45''8764'_74 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> AgdaAny -> T__IsRelatedTo__20 Source #

d_step'45''8801'_88 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #

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

d_step'45''8801''728'_98 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 -> T__'8801'__12 -> T__IsRelatedTo__20 Source #

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

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

d__'8718'_112 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T__IsRelatedTo__20 Source #

du__'8718'_112 :: AgdaAny -> T__IsRelatedTo__20 Source #

d__'8718''10216'_'10217'_116 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__IsRelatedTo__20 Source #

du__'8718''10216'_'10217'_116 :: AgdaAny -> T__IsRelatedTo__20 Source #