plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Relation.Binary.Reasoning.Base.Double

Documentation

d__IsRelatedTo__62 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> () #

data T__IsRelatedTo__62 #

Constructors

C_nonstrict_70 AgdaAny 
C_equals_74 AgdaAny 

d_start_76 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny #

du_start_76 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny #

d_'8801''45'go_82 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__IsRelatedTo__62 -> T__IsRelatedTo__62 #

du_'8801''45'go_82 :: T__IsRelatedTo__62 -> T__IsRelatedTo__62 #

d_'46'extendedlambda0_88 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny -> T__'8801'__12 -> AgdaAny #

du_'46'extendedlambda0_88 :: AgdaAny -> AgdaAny #

d_'46'extendedlambda1_94 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny -> T__'8801'__12 -> AgdaAny #

du_'46'extendedlambda1_94 :: AgdaAny -> AgdaAny #

d_'8818''45'go_96 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__IsRelatedTo__62 #

du_'8818''45'go_96 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__IsRelatedTo__62 #

d_'8776''45'go_106 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__IsRelatedTo__62 #

du_'8776''45'go_106 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__IsRelatedTo__62 #

d_stop_116 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> T__IsRelatedTo__62 #

du_stop_116 :: T_IsPreorder_70 -> AgdaAny -> T__IsRelatedTo__62 #

d_IsEquality_122 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> () #

data T_IsEquality_122 #

Constructors

C_isEquality_130 

d_IsEquality'63'_138 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T_Dec_20 #

du_IsEquality'63'_138 :: T__IsRelatedTo__62 -> T_Dec_20 #

d_extractEquality_148 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T_IsEquality_122 -> AgdaAny #

du_extractEquality_148 :: T__IsRelatedTo__62 -> T_IsEquality_122 -> AgdaAny #

d_equalitySubRelation_152 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> T_SubRelation_60 #

du_equalitySubRelation_152 :: T_SubRelation_60 #

d_begin__156 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny #

du_begin__156 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny #

d_begin__160 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> AgdaAny #

du_begin__160 :: AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> AgdaAny #

d_step'45''8801'_164 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__'8801'__12 -> T__IsRelatedTo__62 #

du_step'45''8801'_164 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__'8801'__12 -> T__IsRelatedTo__62 #

d_step'45''8801''45''8739'_166 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__IsRelatedTo__62 #

du_step'45''8801''45''8739'_166 :: T__IsRelatedTo__62 -> T__IsRelatedTo__62 #

d_step'45''8801''45''10216'_168 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__'8801'__12 -> T__IsRelatedTo__62 #

du_step'45''8801''45''10216'_168 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__'8801'__12 -> T__IsRelatedTo__62 #

d_step'45''8801''45''10217'_170 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__'8801'__12 -> T__IsRelatedTo__62 #

du_step'45''8801''45''10217'_170 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__'8801'__12 -> T__IsRelatedTo__62 #

d_step'45''8801''728'_172 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__'8801'__12 -> T__IsRelatedTo__62 #

du_step'45''8801''728'_172 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> T__'8801'__12 -> T__IsRelatedTo__62 #

d_step'45''8776'_176 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

du_step'45''8776'_176 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

d_step'45''8776''45''10216'_178 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

du_step'45''8776''45''10216'_178 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

d_step'45''8776''45''10217'_180 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

du_step'45''8776''45''10217'_180 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

d_step'45''8776''728'_182 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

du_step'45''8776''728'_182 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

d_step'45''8818'_186 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

du_step'45''8818'_186 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

d__'8718'_190 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> T__IsRelatedTo__62 #

du__'8718'_190 :: T_IsPreorder_70 -> AgdaAny -> T__IsRelatedTo__62 #

d_step'45''8764'_194 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #

du_step'45''8764'_194 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__62 -> AgdaAny -> T__IsRelatedTo__62 #