plutus-metatheory-1.60.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 -> () #

newtype T_UCSE_4 #

Constructors

C_cse_14 T_Translation_12 

d_UntypedCSE_22 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> () #

d_isUntypedCSE'63'_26 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38 #

d_isUCSE'63'_30 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38 #

d_'46'extendedlambda0_46 :: Integer -> T__'8866'_14 -> (T_isApp_144 -> T_Irrelevant_20) -> T__'8866'_14 -> T_UCSE_4 -> T_Irrelevant_20 #

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 #