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

MAlonzo.Code.VerifiedCompilation.Equality

Documentation

d_DecEq_6 ∷ p → () Source #

d_decPointwise_36T_Level_18T_Level_18 → () → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → [AgdaAny] → [AgdaAny] → T_Dec_32 Source #

d_'46'extendedlambda1_108T_Level_18T_Level_18 → () → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → AgdaAny → [AgdaAny] → AgdaAny → [AgdaAny] → (AgdaAnyT_'8869'_4) → T_Dec_32T_Pointwise_48T_'8869'_4 Source #

d_HsEq_260 ∷ p → () Source #