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

MAlonzo.Code.VerifiedCompilation.UCSE

Documentation

d_UCSE_4 ∷ p → p → p → () Source #

newtype T_UCSE_4 Source #

Constructors

C_cse_14 T_Translation_12 

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

d_isUntypedCSE'63'_26 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_isUCSE'63'_30 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_'46'extendedlambda0_46 ∷ Integer → T__'8866'_14 → (T_isApp_142 → T_Irrelevant_20) → T__'8866'_14 → T_UCSE_4 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_78 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_UCSE_4 → T_Irrelevant_20 Source #