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

newtype T_UCSE_4 Source #

Constructors

C_cse_16 T_Translation_16 

d_UntypedCSE_26 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → () Source #

d_isUntypedCSE'63'_32 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #

du_isUntypedCSE'63'_32 ∷ T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #

d_isUCSE'63'_38 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #

du_isUCSE'63'_38 ∷ T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #

d_'46'extendedlambda0_54 ∷ () → T__'8866'_14 → (T_isApp_142 → T_Irrelevant_20) → T_DecEq_6 → T__'8866'_14 → T_UCSE_4 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_86 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T__'8866'_14 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_UCSE_4 → T_Irrelevant_20 Source #