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

MAlonzo.Code.Data.Empty.Polymorphic

Documentation

d_'8869'_8 :: T_Level_18 -> () #

d_'8869''45'elim_20 :: T_Level_18 -> T_Level_18 -> (T_Lift_8 -> ()) -> T_Lift_8 -> AgdaAny #

du_'8869''45'elim_20 :: AgdaAny #