plutus-metatheory-0.1.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 → () 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_18 → T_Level_18 → () → (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_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 Source #

du_step'45''8801'_62 ∷ T__IsRelatedTo__26 → T__IsRelatedTo__26 Source #

d_step'45''8801''728'_72 ∷ 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 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_18 → T_Level_18 → () → (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 #