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

MAlonzo.Code.VerifiedCompilation.UCaseOfCase

Documentation

d_CoC_4 :: p -> p -> p -> () #

data T_CoC_4 #

Constructors

C_isCoC_26 T_Pointwise_48 T_Pointwise_48 T_Pointwise_48 

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

d_CoCCase_38 :: p -> p -> () #

data T_CoCCase_38 #

Constructors

C_isCoCCase_54 

d_isCoCCase'63'_58 :: Integer -> T__'8866'_14 -> T_Dec_20 #

d_CoCForce_142 :: p -> p -> () #

data T_CoCForce_142 #

Constructors

C_isCoCForce_158 

d_isCoCForce'63'_162 :: Integer -> T__'8866'_14 -> T_Dec_20 #

d_isCaseOfCase'63'_256 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38 #

d_isCoC'63'_264 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38 #

d_'46'extendedlambda4_280 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> (T_Σ_14 -> T_Irrelevant_20) -> T_CoC_4 -> T_Irrelevant_20 #

d_'46'extendedlambda5_368 :: Integer -> T__'8866'_14 -> Integer -> Integer -> T__'8866'_14 -> Integer -> Integer -> (T_Σ_14 -> T_Irrelevant_20) -> [T__'8866'_14] -> [T__'8866'_14] -> [T__'8866'_14] -> [T__'8866'_14] -> [T__'8866'_14] -> [T__'8866'_14] -> T_CoC_4 -> T_Irrelevant_20 #

d_'46'extendedlambda6_444 :: Integer -> [T__'8866'_14] -> [T__'8866'_14] -> (T_Pointwise_48 -> T_Irrelevant_20) -> () -> () -> T_SimplifierTag_4 -> AgdaAny -> AgdaAny -> T__'8866'_14 -> Integer -> Integer -> [T__'8866'_14] -> [T__'8866'_14] -> [T__'8866'_14] -> [T__'8866'_14] -> T_CoC_4 -> T_Irrelevant_20 #

d_'46'extendedlambda7_524 :: Integer -> [T__'8866'_14] -> [T__'8866'_14] -> (T_Pointwise_48 -> T_Irrelevant_20) -> () -> () -> T_SimplifierTag_4 -> AgdaAny -> AgdaAny -> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_48 -> T__'8866'_14 -> Integer -> Integer -> [T__'8866'_14] -> [T__'8866'_14] -> T_CoC_4 -> T_Irrelevant_20 #

d_'46'extendedlambda8_608 :: Integer -> [T__'8866'_14] -> [T__'8866'_14] -> (T_Pointwise_48 -> T_Irrelevant_20) -> () -> () -> T_SimplifierTag_4 -> AgdaAny -> AgdaAny -> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_48 -> [T__'8866'_14] -> [T__'8866'_14] -> T_Pointwise_48 -> T__'8866'_14 -> Integer -> Integer -> T_CoC_4 -> T_Irrelevant_20 #