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

MAlonzo.Code.Data.Empty

Documentation

d_Empty_4 :: () #

data T_Empty_4 #

d_'8869'_6 :: () #

d_'8869''45'elim_14 :: T_Level_18 -> () -> T_Irrelevant_20 -> AgdaAny #

du_'8869''45'elim_14 :: AgdaAny #

d_'8869''45'elim'45'irr_20 :: T_Level_18 -> () -> T_Irrelevant_20 -> AgdaAny #

du_'8869''45'elim'45'irr_20 :: AgdaAny #