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

MAlonzo.Code.Reflection.AST.Name

Documentation

d_Names_6 :: () #

d__'8776'__8 :: AgdaAny -> AgdaAny -> () #

d__'8776''63'__10 :: AgdaAny -> AgdaAny -> T_Dec_20 #

d__'8799'__12 :: AgdaAny -> AgdaAny -> T_Dec_20 #