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

MAlonzo.Code.Reflection.Meta

Documentation

d__'8776'__4 ∷ AgdaAny → AgdaAny → () Source #

d__'8776''63'__6 ∷ AgdaAny → AgdaAny → T_Dec_32 Source #

d__'8799'__8 ∷ AgdaAny → AgdaAny → T_Dec_32 Source #