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

MAlonzo.Code.Data.Empty

Documentation

d_Empty_4 ∷ () Source #

data T_Empty_4 Source #

d_'8869'_6 ∷ () Source #

d_'8869''45'elim_14 ∷ T_Level_18 → () → T_Irrelevant_20 → AgdaAny Source #

du_'8869''45'elim_14 ∷ AgdaAny Source #

d_'8869''45'elim'45'irr_20 ∷ T_Level_18 → () → T_Irrelevant_20 → AgdaAny Source #

du_'8869''45'elim'45'irr_20 ∷ AgdaAny Source #