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

MAlonzo.Code.Utils.Reflection

Documentation

d_map2_56T_Level_18T_Level_18 → () → () → (AgdaAnyAgdaAnyAgdaAny) → [AgdaAny] → [AgdaAny] Source #

d_map2''_70T_Level_18T_Level_18 → () → () → (AgdaAnyAgdaAnyAgdaAny) → [AgdaAny] → (AgdaAnyAgdaAnyAgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #