plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Documentation

d__IsRelatedTo__26 :: p -> p -> p -> p -> p -> p -> p -> p -> () #

newtype T__IsRelatedTo__26 #

Constructors

C_relTo_34 AgdaAny

d_start_36 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny #

du_start_36 :: T__IsRelatedTo__26 -> AgdaAny #

d_'8764''45'go_40 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__IsRelatedTo__26 #

du_'8764''45'go_40 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__IsRelatedTo__26 #

d_'8801''45'go_46 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__IsRelatedTo__26 -> T__IsRelatedTo__26 #

du_'8801''45'go_46 :: T__IsRelatedTo__26 -> T__IsRelatedTo__26 #

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

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

d_stop_54 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T__IsRelatedTo__26 #

du_stop_54 :: (AgdaAny -> AgdaAny) -> AgdaAny -> T__IsRelatedTo__26 #

d_begin__58 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny #

du_begin__58 :: AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny #

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

du_step'45''8801'_62 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #

d_step'45''8801''45''8739'_64 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__IsRelatedTo__26 #

du_step'45''8801''45''8739'_64 :: T__IsRelatedTo__26 -> T__IsRelatedTo__26 #

d_step'45''8801''45''10216'_66 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #

du_step'45''8801''45''10216'_66 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #

d_step'45''8801''45''10217'_68 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #

du_step'45''8801''45''10217'_68 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #

d_step'45''8801''728'_70 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #

du_step'45''8801''728'_70 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #

d_step'45''8764'_74 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 #

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

d__'8718'_78 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T__IsRelatedTo__26 #

du__'8718'_78 :: (AgdaAny -> AgdaAny) -> AgdaAny -> T__IsRelatedTo__26 #