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

MAlonzo.Code.Reflection.AST.Meta

Documentation

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

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

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