Safe Haskell	None

MAlonzo.Code.Relation.Binary.Reasoning.Base.Single

Documentation

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

newtype T__IsRelatedTo__26 Source #

Constructors

C_relTo_34 AgdaAny

d_begin__40 :: T__IsRelatedTo__26 -> AgdaAny Source #

d_step'45''8764'_50 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 Source #

du_step'45''8764'_50 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 Source #

d_step'45''8801'_62 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 Source #

du_step'45''8801'_62 :: T__IsRelatedTo__26 -> T__IsRelatedTo__26 Source #

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

du_step'45''8801''728'_72 :: T__IsRelatedTo__26 -> T__IsRelatedTo__26 Source #

d__'8801''10216''10217'__80 :: T__IsRelatedTo__26 -> T__IsRelatedTo__26 Source #

d__'8718'_86 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T__IsRelatedTo__26 Source #

du__'8718'_86 :: (AgdaAny -> AgdaAny) -> AgdaAny -> T__IsRelatedTo__26 Source #