| Safe Haskell | None |
|---|
MAlonzo.Code.Relation.Binary.PropositionalEquality.Core
Documentation
d__'8802'__22 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> () Source #
d_cong_38 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #
d_cong'8242'_46 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> T__'8801'__12 Source #
d_icong_54 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #
d_icong'8242'_60 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> T__'8801'__12 Source #
d_cong'8322'_72 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 Source #
d_cong'45'app_88 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8801'__12 -> AgdaAny -> T__'8801'__12 Source #
d_sym_92 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #
d_trans_94 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 Source #
d_subst_98 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny -> AgdaAny Source #
du_subst_98 :: AgdaAny -> AgdaAny Source #
d_subst'8322'_114 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> AgdaAny -> AgdaAny Source #
du_subst'8322'_114 :: AgdaAny -> AgdaAny Source #
d_resp_120 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny -> AgdaAny Source #
du_resp_120 :: AgdaAny -> AgdaAny Source #
d_resp'737'_128 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny -> AgdaAny Source #
du_resp'737'_128 :: AgdaAny -> AgdaAny Source #
d_resp'691'_136 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny -> AgdaAny Source #
du_resp'691'_136 :: AgdaAny -> AgdaAny Source #
d_resp'8322'_144 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> T_Σ_14 Source #
d_'8802''45'sym_148 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> (T__'8801'__12 -> T_'8869'_4) -> T__'8801'__12 -> T_'8869'_4 Source #
d_step'45''8801'_180 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 Source #
d_step'45''8801''728'_192 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 Source #
d__'8718'_200 :: T_Level_14 -> () -> AgdaAny -> T__'8801'__12 Source #