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

MAlonzo.Code.VerifiedCompilation.UApplyToCase

Documentation

d_ApplyToCase_4 ∷ p → p → p → () Source #

newtype T_ApplyToCase_4 Source #

Constructors

C_a2c_16 T_Translation_12 

d_a2c'63''7580''7580'_24 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_38 Source #

d_a2c'63'_32 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_38 Source #

d_'46'extendedlambda0_48 ∷ Integer → T__'8866'_14 → (T_case'7510'_926 → T_Irrelevant_20) → T__'8866'_14 → T_ApplyToCase_4 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_94 ∷ Integer → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 → T__'8866'_14 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ApplyToCase_4 → T_Irrelevant_20 Source #

d_UApplyToCase_98 ∷ Integer → T__'8866'_14 → T__'8866'_14 → () Source #