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

MAlonzo.Code.Reflection.AST.Name

Documentation

d_Names_6 ∷ () Source #

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

d__'8776''63'__10 ∷ AgdaAny → AgdaAny → T_Dec_20 Source #

d__'8799'__12 ∷ AgdaAny → AgdaAny → T_Dec_20 Source #