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

MAlonzo.Code.Agda.Primitive

Documentation

type T_Level_18 = () Source #

d_Level_18 ∷ a Source #

d_lzero_20 ∷ () Source #

d_lsuc_24 ∷ p → () Source #

d__'8852'__30 ∷ p → p → () Source #